Checking behavioural consistency of UML-RT models through trace-based semantics
- Morales, L.E.M.
- Tuñón, M.I.C.
- Akhlaki, K.B.
Aktak:
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings
Argitalpen urtea: 2007
Alea: ISAS
Orrialdeak: 205-211
Mota: Biltzar ekarpena