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
Llibre:
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

Any de publicació: 2007

Pàgines: 205-206

Congrés: 9th International Conference on Enterprise Information Systems (ICEIS 2007)

Tipus: Aportació congrés

GOOGLE SCHOLAR
Fuente de los datos: WoS