Login
- Autorinnen/Autoren:
- Nenchev, Vladislav; Imrie, Calum; Gerasimou, Simos; Calinescu, Radu
- Dokumenttyp:
- Konferenzbeitrag / Conference Paper
- Titel:
- Code-level Safety Verification for Automated Driving: A Case Study
- Herausgebende Sammelband:
- 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
- Serie/Reihe:
- Lecture Notes in Computer Science (LNCS)
- Band:
- 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
- Seitenbereich:
- 356-372
- Sprache:
- Englisch
- ISBN:
- 978-3-031-71177-0
- DOI:
- 10.1007/978-3-031-71177-0_22
- URL zum Inhalt:
- https://doi.org/10.1007/978-3-031-71177-0_22
- Open Access:
- Ja / Yes
- Open-Access-Lizenz:
- CC BY 4.0
- URL zur Lizenz:
- https://creativecommons.org/licenses/by/4.0/
BibTeX