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

ISBN: 9789728865436

Argitalpen urtea: 2006

Alea: ISAS

Orrialdeak: 290-297

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus