Author of the publication

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.

 

Other publications of authors with the same name

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models., , and . iiWAS, page 479-483. ACM, (2014)Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications., and . MSVVEIS, page 149-155. INSTICC PRESS, (2009)Modeling and Verification of Reactive Systems Using STATEMATE and Event B., and . Int. J. Comput. Their Appl., 16 (4): 200-219 (2009)A Model Driven Approach for Improving the Generation of Accessible User Interfaces., , and . ICSOFT-PT, page 168-173. SciTePress, (2015)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)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)Adapted E-Assessment System Based on Cloud Computing., , and . ICALT, page 251-255. IEEE Computer Society, (2017)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)