Checking behavioural consistency of UML-RT models through trace-based semantics

  1. Morales, L.E.M.
  2. Tuñón, M.I.C.
  3. Akhlaki, K.B.
Actas:
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

Año de publicación: 2007

Volumen: ISAS

Páginas: 205-211

Tipo: Aportación congreso