Author: Luis E. Mendoza Morales

Publications

Co-authors

María A. Pérez

1

Manuel I. Capel Tuñón

3

Kawtar Benghazi Akhlaki

3

Productive Colleagues

Manuel I. Capel Tuñón

4

Kawtar Benghazi Akhlaki

4

María A. Pérez

15

Publications

Morales, Luis E. Mendoza, Tuñón, Manuel I. Capel, Akhlaki, Kawtar Benghazi (2007): Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics. In: Cardoso, Jorge, Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems Volume EIS June 12-16, 2007, Funchal, Portugal. pp. 205-211.

Akhlaki, Kawtar Benghazi, Tuñón, Manuel I. Capel, Terriza, Juan Antonio Holgado, Morales, Luis E. Mendoza (2007): Towards UML-RT Behavioural Consistency. In: Cardoso, Jorge, Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems Volume EIS June 12-16, 2007, Funchal, Portugal. pp. 612-615.

Morales, Luis E. Mendoza, Tuñón, Manuel I. Capel, Pérez, María A., Akhlaki, Kawtar Benghazi (2007): A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicatin. In: Cordeiro, José, Filipe, Joaquim (eds.) ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems Volume 1 June 12-16, 2007, Barcelona, Spain. pp. 86-93.