Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications., und . MSVVEIS, Seite 149-155. INSTICC PRESS, (2009)A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models., , und . iiWAS, Seite 479-483. ACM, (2014)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)Modeling and Verification of Reactive Systems Using STATEMATE and Event B., und . Int. J. Comput. Their Appl., 16 (4): 200-219 (2009)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)An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy., , und . ICALT, Seite 724-725. IEEE Computer Society, (2010)Graphical UML View from Extended Backus-Naur Form Grammars., und . ICALT, Seite 544-546. IEEE Computer Society, (2006)