Transforming SA/RT graphical specifications into CSP+T Formalism: Obtaining a formal specification from semi-formal SA/RT essential models
Actas:
ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems
ISBN: 9789728865191
Año de publicación: 2005
Páginas: 65-72
Tipo: Aportación congreso