Logisk medellering av Formell Verifiering av Säkerhetsfunktioner i Självkörande Fordon
Forskningsprojekt, 2016
– 2018
Beskrivning saknas.
Deltagare
Sahar Mohajerani (kontakt)
Chalmers, Elektroteknik, System- och reglerteknik
Finansiering
Vetenskapsrådet (VR)
Projekt-id: 2016-00529
Finansierar Chalmers deltagande under 2016–2018