( en | de | ru )

 

Disambiguation of "Ayed, Leila Jemni Ben"

Author of the publication

copydeleteadd this publication to your clipboard
Message from the MVDA 2015 Workshop Organizers.

, , , and . COMPSAC Workshops, page 373-374. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karim Jemni

Hedi Ayed

Ayed Mrief Ayed al- Abdallat

Ayed Abdel Razzag

Leila Siller

 

Other publications of authors with the same name

Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications., and . MSVVEIS, page 149-155. INSTICC PRESS, (2009)Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process., , and . ICSOFT (Selected Papers), volume 1077 of Communications in Computer and Information Science, page 397-420. Springer, (2018)Modeling and Verification of Reactive Systems Using STATEMATE and Event B., and . Int. J. Comput. Their Appl., 16 (4): 200-219 (2009)A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models., , and . iiWAS, page 479-483. ACM, (2014)A Model Driven Approach for Improving the Generation of Accessible User Interfaces., , and . ICSOFT-PT, page 168-173. SciTePress, (2015)Towards to Compose Cloud Service Flexible Workflow Applications., , , and . COMPSAC Workshops, page 404-409. IEEE Computer Society, (2015)Towards accessible and personalized mobile learning for learners with disabilities., , , and . ICTA, page 1-6. IEEE, (2013)An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy., , and . ICALT, page 724-725. IEEE Computer Society, (2010)Graphical UML View from Extended Backus-Naur Form Grammars., and . ICALT, page 544-546. IEEE Computer Society, (2006)Adapted E-Assessment System Based on Cloud Computing., , and . ICALT, page 251-255. IEEE Computer Society, (2017)