Author: Manuel I. Capel Tuñón
Publications
Co-authors
Productive Colleagues
Publications
Akhlaki, Kawtar Benghazi, Tuñón, Manuel I. Capel, Terriza, Juan Antonio Holgado (2006): Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Time. In: Manolopoulos, Yannis, Filipe, Joaquim, Constantopoulos, Panos, Cordeiro, José (eds.) ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems Databases and Information Systems Integration May 23-27, 2006, Paphos, Cyprus. pp. 290-297.
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.