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

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica., , , , , , und . Requir. Eng., 27 (1): 1-30 (2022)A social media-based over layer on the edge for handling emergency-related events., , , und . Comput. Electr. Eng., 96 (Part): 107570 (2021)Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method., , , und . J. Comput. Sci., 5 (3): 439-449 (2014)PROCE: an agent-based PROcess Composition and execution Environment., , und . WOA, Volume 741 von CEUR Workshop Proceedings, Seite 171-174. CEUR-WS.org, (2011)Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain., und . SIMULTECH, Seite 328-333. SciTePress, (2012)On the simulation of smart grid environments., , und . SummerSim, Seite 17:1-17:12. ACM, (2019)From the detection towards a pyramidal classification of terrorist propaganda., , und . J. Inf. Secur. Appl., (Dezember 2023)An IoT-based context-aware model for danger situations detection., , und . Comput. Electr. Eng., 96 (Part): 107571 (2021)Modeling of system properties: Research challenges and promising solutions., und . ISSE, Seite 324-331. IEEE, (2015)On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution., , , , , , , , , und 1 andere Autor(en). ISSE, Seite 1-8. IEEE, (2016)