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.
Proceedings:
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
Year of publication: 2006
Pages: 16-25
Type: Conference paper