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
Year of publication: 2007
Pages: 205-206
Congress: 9th International Conference on Enterprise Information Systems (ICEIS 2007)
Type: Conference paper