Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications

  1. Benghazi Akhlaki, K.
  2. Capel Tuñon, M.I.
  3. Holgado Terriza, J.A.
Actes:
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

ISBN: 9789728865436

Any de publicació: 2006

Volum: ISAS

Pàgines: 290-297

Tipus: Aportació congrés