( en | de | ru )

 

Disambiguierung von "Ayed, Leila Jemni Ben"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation.

, , , und . COMPSAC (2), Seite 187-192. IEEE Computer Society, (2017)978-1-5386-0367-3.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Karim Jemni

Hedi Ayed

Ayed Mrief Ayed al- Abdallat

Ayed Abdel Razzag

Leila Siller

 

Weitere Publikationen von Autoren mit dem selben Namen

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models., , und . iiWAS, Seite 479-483. ACM, (2014)Modeling and Verification of Reactive Systems Using STATEMATE and Event B., und . Int. J. Comput. Their Appl., 16 (4): 200-219 (2009)Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications., und . MSVVEIS, Seite 149-155. INSTICC PRESS, (2009)Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process., , und . ICSOFT (Selected Papers), Volume 1077 von Communications in Computer and Information Science, Seite 397-420. Springer, (2018)A New Approach for the Verification of BPMN Models Using Refinement Patterns., , und . COMPSAC (1), Seite 807-808. IEEE Computer Society, (2018)Cloud Adapted Workflow e-Assessment System: Cloud-AWAS., , und . COMPSAC (1), Seite 438-447. IEEE Computer Society, (2017)A Model Driven Approach for Improving the Generation of Accessible User Interfaces., , und . ICSOFT-PT, Seite 168-173. SciTePress, (2015)Towards to Compose Cloud Service Flexible Workflow Applications., , , und . COMPSAC Workshops, Seite 404-409. IEEE Computer Society, (2015)Towards accessible and personalized mobile learning for learners with disabilities., , , und . ICTA, Seite 1-6. IEEE, (2013)Adapted E-Assessment System Based on Cloud Computing., , und . ICALT, Seite 251-255. IEEE Computer Society, (2017)