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.
Actes:
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
Any de publicació: 2006
Pàgines: 16-25
Tipus: Aportació congrés