Automating the transformation from BPMN models to CSP+T specifications
- Capel, M.I.
- Mendoza, L.E.
Actas:
Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012
ISBN: 9780769549477
Año de publicación: 2012
Páginas: 100-109
Tipo: Aportación congreso