Logisk medellering av Formell Verifiering av Säkerhetsfunktioner i Självkörande Fordon
Forskningsprojekt , 2016 – 2018

Beskrivning saknas.

Deltagare

Sahar Mohajerani (kontakt)

Forskare vid Chalmers, Elektroteknik, System- och reglerteknik, Automation

Finansiering

Vetenskapsrådet (VR)

Finansierar Chalmers deltagande under 2016–2018

Mer information

Senast uppdaterat

2018-10-11