Eingeladener Vortrag: Ensuring Safety and Portability in Automated Driving: A Code-Level Verification Approach
15 Januar 2025
Vladislav Nenchev wird einen Vortrag über
Ensuring Safety and Portability in Automated Driving: A Code-Level Verification Approach
bei den Robostar Seminar series an der University of York am 19.03.2025 halten.