Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza. A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification. In José Cristóbal Riquelme Santos, Pere Botella, editors, XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain. pages 283-292, 2006.
@inproceedings{CapelMAT06,
title = {A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification},
author = {Manuel I. Capel and Luis E. Mendoza Morales and Kawtar Benghazi Akhlaki and Juan Antonio Holgado Terriza},
year = {2006},
tags = {UML, process modeling},
researchr = {https://researchr.org/publication/CapelMAT06},
cites = {0},
citedby = {0},
pages = {283-292},
booktitle = {XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain},
editor = {José Cristóbal Riquelme Santos and Pere Botella},
isbn = {84-95999-99-4},
}