Checking behavioural consistency of UML-RT models through trace-based semantics
- Morales, L.E.M.
- Tuñón, M.I.C.
- Akhlaki, K.B.
Konferenzberichte:
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings
Datum der Publikation: 2007
Ausgabe: ISAS
Seiten: 205-211
Art: Konferenz-Beitrag