Publicaciones en las que colabora con MANUEL ISIDORO CAPEL TUÑÓN (13)

2010

  1. Actas de las XIII Jornadas de Tiempo Real (JTR 2010): Granada, 4 y 5 de febrero de 2010

    Godel Editorial

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

  3. Java-based adaptable middleware platform for virtual instrumentation

    Proceedings of the 2007 IEEE International Conference on Virtual Environments, Human-Computer Interfaces, and Measurement Systems, VECIMS 2007

  4. Towards UML-RT behavioural consistency

    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS

  5. Towards uml-rt behavioural consistency

    ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings

2006

  1. CSPJade: Architectural driven development of complex embedded system software using a CSP paradigm based generation tool code

    Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

  2. Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications

    ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings

  3. Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications

    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS

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

  5. Java-based adaptable middleware platform for virtual instrumentation

    2007 IEEE SYMPOSIUM ON VIRTUAL ENVIRONMENTS, HUMAN-COMPUTER INTERFACES AND MEASUREMENT SYSTEMS

2005

  1. An integration scheme for CPN and process algebra applied to a manufacturing industry case

    Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

  2. Transforming SA/RT graphical specifications into CSP+T Formalism: Obtaining a formal specification from semi-formal SA/RT essential models

    ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems