Author of the publication

An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem.

, , , , and . Commun. Assoc. Inf. Syst., (2019)

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 Lattice Model to Verify Behavioral Equivalences., and . EMS, page 378-386. IEEE, (2014)Behavior Ontology to Model Collective Behavior of Emergency Medical Systems., , and . ER Workshops, volume 10651 of Lecture Notes in Computer Science, page 5-15. Springer, (2017)SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems., and . PrOse@PoEM, volume 2499 of CEUR Workshop Proceedings, page 13-25. CEUR-WS.org, (2019)Algebraic Method to Model Secure IoT., and . Domain-Specific Conceptual Modeling, Springer, (2016)A Composition Method to Model Collective Behavior., and . PoEM, volume 335 of Lecture Notes in Business Information Processing, page 121-137. Springer, (2018)An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem., , , , and . Commun. Assoc. Inf. Syst., (2019)A Calculus for Transportation Systems., and . COMPSAC Workshops, page 722-727. IEEE Computer Society, (2014)A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space., , and . FCS, page 56-62. CSREA Press, (2008)Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra., , and . FCS, page 63-69. CSREA Press, (2008)OMiLAB: A Smart Innovation Environment for Digital Engineers., , , , , , and . PRO-VE, volume 598 of IFIP Advances in Information and Communication Technology, page 273-282. Springer, (2020)