Formal specification of real-time systems by transformation of UML-RT design models
- Benghazi Akhlaki, K.
- Capel Tuñon, M.I.
- Holgado Terriza, J.A.
- Mendoza Morales, L.E.
Actas:
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006
ISBN: 9789728865498
Año de publicación: 2006
Páginas: 16-25
Tipo: Aportación congreso