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

Publikationer

Mer information

Senast uppdaterat

2018-10-11