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

Integrating runtime verification into an automated UAS traffic management system., , , , und . Innov. Syst. Softw. Eng., 18 (4): 567-580 (2022)Integrating Runtime Verification into a Sounding Rocket Control System., , und . NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 151-159. Springer, (2021)Integrating Runtime Verification into an Automated UAS Traffic Management System., , , , und . ECSA Companion, Volume 1269 von Communications in Computer and Information Science, Seite 340-357. Springer, (2020)Professional Development for Teachers in the Age of AI, , , und . Brussels, Belgium, (2024)Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry., , , , , , , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 527-537. Springer, (2022)