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 de conférence:
ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

ISBN: 9789728865436

Année de publication: 2006

Volumen: ISAS

Pages: 290-297

Type: Communication dans un congrès

GOOGLE SCHOLAR
La source de données: Scopus