Logisk medellering av Formell Verifiering av Säkerhetsfunktioner i Självkörande Fordon
Research Project, 2016
– 2018
Description missing.
Participants
Sahar Mohajerani (contact)
Chalmers, Electrical Engineering, Systems and control
Funding
Swedish Research Council (VR)
Project ID: 2016-00529
Funding Chalmers participation during 2016–2018