Checking behavioural consistency of UML-RT models through trace-based semantics
- Morales, L.E.M.
- Tuñón, M.I.C.
- 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