Author of the publication

AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets.

, , , , , and . CISIM, volume 12133 of Lecture Notes in Computer Science, page 307-319. Springer, (2020)

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 Novel Framework to Automatically Generate Executable Web Services From BPMN Models., , , , , and . IEEE Access, (2019)UML Profiling for Software Systems in Medical Device Manufacturing., , , , and . CISIM, volume 11703 of Lecture Notes in Computer Science, page 265-277. Springer, (2019)A Model-Driven Mobile HMI Framework (MMHF) for Industrial Control Systems., , , , , and . IEEE Access, (2020)Recent Trends in Underwater Wireless Sensor Networks (UWSNs) - A Systematic Literature Review., , , , and . Program. Comput. Softw., 46 (8): 699-711 (2020)Extension of Interaction Flow Modeling Language for Geographical Information Systems., , , , and . ICSCA, page 186-192. ACM, (2021)Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation., , , and . ICSIE, page 61-66. ACM, (2020)A systematic review of requirement traceability techniques and tools., , , , and . ICSRS, page 450-454. IEEE, (2017)A Novel Approach for Modeling Security Aspects of Physical Infrastructures., , , and . HP3C, page 39-44. ACM, (2017)A Systematic Review on Online Exams Solutions in E-learning: Techniques, Tools, and Global Adoption., , , , and . CoRR, (2020)Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation., , , and . SoSE, page 375-380. IEEE, (2022)