Login
- Authors:
- Nenchev, Vladislav; Imrie, Calum; Gerasimou, Simos; Calinescu, Radu
- 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
- DOI:
- 10.1007/978-3-031-71177-0_22
- URL:
- https://doi.org/10.1007/978-3-031-71177-0_22
- Open Access yes or no?:
- Ja / Yes
- Type of OA license:
- CC BY 4.0
- Licence URL:
- https://creativecommons.org/licenses/by/4.0/
BibTeX