Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Code-level Safety Verification for Automated Driving: A Case Study
Collection editors:
Platzer, Andre; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo
Title of conference publication:
Formal Methods
Subtitle of conference publication:
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Series title:
Lecture Notes in Computer Science (LNCS)
Series volume:
14934
Conference title:
Formal Methods (26., 2024, Mailand)
Venue:
Milan, Italy
Year of conference:
2024
Date of conference beginning:
09.09.2024
Date of conference ending:
13.09.2024
Place of publication:
Cham
Publisher:
Springer
Year:
2024
Pages from - to:
356-372
Language:
Englisch
ISBN:
978-3-031-71177-0
Open Access yes or no?:
Ja / Yes
Type of OA license:
CC BY 4.0
Licence URL:
BibTeX