JUAN ANTONIO
HOLGADO TERRIZA
PROFESOR TITULAR DE UNIVERSIDAD
Universidad Simón Bolívar
Caracas, VenezuelaPublications in collaboration with researchers from Universidad Simón Bolívar (3)
2007
-
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
Science of Computer Programming, Vol. 65, Núm. 1, pp. 41-56
-
An interpretation of behavioral consistency of UML-RT diagrams in terms of CSP+T
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007
2006
-
Formal specification of real-time systems by transformation of UML-RT design models
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006