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

Bluetooth latency analysis for vehicular communications in a Wi-Fi noisy environment., , , und . TSP, Seite 148-151. IEEE, (2017)Urban Traffic Noise Analysis Using UAV-Based Array of Microphones., und . Sensors, 23 (4): 1912 (Februar 2023)Digitally migration concept for railway failsafe protection circuit., , , und . ECAI, Seite 1-4. IEEE, (2018)Timing analysis of industrial real-time systems., , , und . WIFT, Seite 97-107. IEEE Computer Society, (1995)Equivalence Checking Using Abstract BDDs., , , und . ICCD, Seite 332-337. IEEE Computer Society, (1997)Experience with Formal Verification of SDL Protocols., , und . Int. J. Comput., 2 (3): 63-68 (2003)Automatic inference of model fields and their representation., und . FTfJP@ECOOP, Seite 9:1-9:6. ACM, (2011)Partial Order Reduction for Model Checking of Timed Automata.. CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 431-446. Springer, (1999)UAV Detection Employing Sensor Data Fusion and Artificial Intelligence., , und . ISAT (1), Volume 1050 von Advances in Intelligent Systems and Computing, Seite 129-139. Springer, (2019)Finding Errors in Python Programs Using Dynamic Symbolic Execution., , , , und . ICTSS, Volume 8254 von Lecture Notes in Computer Science, Seite 283-289. Springer, (2013)