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

A schematalogical approach to the alalysis of the procedure concept in algol-languages., und . CLAAP, Seite 130-134. Université de Lille 1, (1980)Embedded system development for automotive applications: trends and challenges.. EMSOFT, Seite 1. ACM, (2006)Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles., , , und . AAAI Spring Symposia, AAAI Press, (2018)Verification of microprogrammed computer architectures in the S*-system: a case study., und . MICRO, Seite 61-73. ACM/IEEE, (1985)Understanding UML - Pains and Rewards.. UML, Volume 2185 von Lecture Notes in Computer Science, Seite 240. Springer, (2001)Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.. FMICS, Volume 5596 von Lecture Notes in Computer Science, Seite 3. Springer, (2008)Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving., und . SEFAIAS@ICSE, Seite 39-46. ACM, (2018)Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.. ICFEM, Seite 153. IEEE Computer Society, (2000)Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic., , , , , und . IV, Seite 82-89. IEEE, (2019)A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations., , , , , , , , , und 13 andere Autor(en). ACM Trans. Cyber Phys. Syst., 8 (1): 4:1-4:23 (Januar 2024)