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

ISBN: 9789728865436

Datum der Publikation: 2006

Ausgabe: ISAS

Seiten: 290-297

Art: Konferenz-Beitrag