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.
Aktak:
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
Argitalpen urtea: 2006
Orrialdeak: 16-25
Mota: Biltzar ekarpena