Checking behavioural consistency of UML-RT models through trace-based semantics
- Morales, Luis E. Mendoza
- Capel Tunon, Manuel I.
- Benghazi Akhlaki, Kawtar
- Cardoso, J (coord.)
- Cordeiro, J (coord.)
- Filipe, J (coord.)
ISBN: 978-972-8865-90-0
Datum der Publikation: 2007
Seiten: 205-206
Kongress: 9th International Conference on Enterprise Information Systems (ICEIS 2007)
Art: Konferenz-Beitrag