From post

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.

 

Другие публикации лиц с тем же именем

Modeling and Verification of Reactive Systems Using STATEMATE and Event B., и . 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., и . MSVVEIS, стр. 149-155. INSTICC PRESS, (2009)A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models., , и . iiWAS, стр. 479-483. ACM, (2014)Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process., , и . ICSOFT (Selected Papers), том 1077 из Communications in Computer and Information Science, стр. 397-420. Springer, (2018)Cloud Adapted Workflow e-Assessment System: Cloud-AWAS., , и . COMPSAC (1), стр. 438-447. IEEE Computer Society, (2017)A New Approach for the Verification of BPMN Models Using Refinement Patterns., , и . COMPSAC (1), стр. 807-808. IEEE Computer Society, (2018)A Model Driven Approach for Improving the Generation of Accessible User Interfaces., , и . ICSOFT-PT, стр. 168-173. SciTePress, (2015)Towards to Compose Cloud Service Flexible Workflow Applications., , , и . COMPSAC Workshops, стр. 404-409. IEEE Computer Society, (2015)Graphical UML View from Extended Backus-Naur Form Grammars., и . ICALT, стр. 544-546. IEEE Computer Society, (2006)Adapted E-Assessment System Based on Cloud Computing., , и . ICALT, стр. 251-255. IEEE Computer Society, (2017)