FISICA DE FLUIDOS Y BIOCOLOIDES
BIOCOL
![Foto de FISICA DE FLUIDOS Y BIOCOLOIDES](/img/grupo.png)
![Foto de Universidad Simón Bolívar](/img/noimage_org.png)
Universidad Simón Bolívar
Caracas, VenezuelaPublikationen in Zusammenarbeit mit Forschern von 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