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.
Actas:
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

ISBN: 9789728865436

Ano de publicación: 2006

Volume: ISAS

Páxinas: 290-297

Tipo: Achega congreso