Publicaciones en las que colabora con KAWTAR BENGHAZI AKHLAKI SEKKATE (6)

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. Towards UML-RT behavioural consistency

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

  4. Towards uml-rt behavioural consistency

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

2006

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

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