Automating the transformation from BPMN models to CSP+T specifications
- Capel, M.I.
- Mendoza, L.E.
Actes:
Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012
ISBN: 9780769549477
Any de publicació: 2012
Pàgines: 100-109
Tipus: Aportació congrés