Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Code-level Safety Verification for Automated Driving: A Case Study
Herausgeber Sammlung:
Platzer, Andre; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo
Titel Konferenzpublikation:
Formal Methods
Untertitel Konferenzpublikation:
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Reihentitel:
Lecture Notes in Computer Science (LNCS)
Bandnummer Reihe:
14934
Konferenztitel:
Formal Methods (26., 2024, Mailand)
Tagungsort:
Milan, Italy
Jahr der Konferenz:
2024
Datum Beginn der Konferenz:
09.09.2024
Datum Ende der Konferenz:
13.09.2024
Verlagsort:
Cham
Verlag:
Springer
Jahr:
2024
Seiten von - bis:
356-372
Sprache:
Englisch
ISBN:
978-3-031-71177-0
URL zum Inhalt:
Open Access ja oder nein?:
Ja / Yes
Art der OA-Lizenz:
CC BY 4.0
URL zur Lizenz:
BibTeX