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
Año de publicación: 2007
Páginas: 205-206
Congreso: 9th International Conference on Enterprise Information Systems (ICEIS 2007)
Tipo: Aportación congreso