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

Behavior Ontology to Model Collective Behavior of Emergency Medical Systems., , und . ER Workshops, Volume 10651 von Lecture Notes in Computer Science, Seite 5-15. Springer, (2017)A Lattice Model to Verify Behavioral Equivalences., und . EMS, Seite 378-386. IEEE, (2014)SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems., und . PrOse@PoEM, Volume 2499 von CEUR Workshop Proceedings, Seite 13-25. CEUR-WS.org, (2019)Algebraic Method to Model Secure IoT., und . Domain-Specific Conceptual Modeling, Springer, (2016)A Composition Method to Model Collective Behavior., und . PoEM, Volume 335 von Lecture Notes in Business Information Processing, Seite 121-137. Springer, (2018)An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem., , , , und . Commun. Assoc. Inf. Syst., (2019)A Calculus for Transportation Systems., und . COMPSAC Workshops, Seite 722-727. IEEE Computer Society, (2014)A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space., , und . FCS, Seite 56-62. CSREA Press, (2008)Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra., , und . FCS, Seite 63-69. CSREA Press, (2008)Behavior Ontology: A Framework to Detect Attack Patterns for Security., , und . AINA Workshops, Seite 738-743. IEEE Computer Society, (2013)