Treffer 1 - 5 von 5 für Suche 'Meghzili, Said', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    Integrating uml 2.0 activity diagrams and pi-calculus for modeling and verification of software systems using tgg

    Integrating uml 2.0 activity diagrams and pi-calculus for modeling and verification of software systems using tgg von Blghiat, Isam, al-Mansuri, Raida, Chaoui, Allaoua, Mighzili, Said


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verification of Model Transformations Using Isabelle/HOL and Scala

    Verification of Model Transformations Using Isabelle/HOL and Scala von Meghzili, Said, Chaoui, Allaoua, Strecker, Martin, Kerkouche, Elhillali

    Veröffentlicht in Information systems frontiers

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems

    A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems von Elmansouri, Raida, Meghzili, Said, Chaoui, Allaoua

    Veröffentlicht in Computer Science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

    An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models von Meghzili, Said, Chaoui, Allaoua, Strecker, Martin, Kerkouche, Elhillali


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Formal Verification and Implementation of an E-Voting System

    Formal Verification and Implementation of an E-Voting System von Meghzili, Said, Chaoui, Allaoua, Elmansouri, Raida, Alloui, Bardis Nadjla, Bouabsa, Amina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: