Checking behavioural consistency of UML-RT models through trace-based semantics

  1. Morales, Luis E. Mendoza
  2. Capel Tunon, Manuel I.
  3. Benghazi Akhlaki, Kawtar
Libro:
ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS
  1. Cardoso, J (coord.)
  2. Cordeiro, J (coord.)
  3. 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