Publicaciones en colaboración con investigadores/as de Universidad Simón Bolívar (3)

2007

  1. 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

  2. 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

  1. 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