Formal specification of real-time systems by transformation of UML-RT design models

  1. Benghazi Akhlaki, K.
  2. Capel Tuñon, M.I.
  3. Holgado Terriza, J.A.
  4. 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