Author: Luis E. Mendoza Morales
Publication Overview
Publication period start: 2007
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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.