About
Interesting shortcuts
Programmes and Partnerships
Search
European Partnerships
EU-Programme-Call
Projects
Projects
Resources
Resources
www.decubber.com
Login
Project
CertiCar
Organisations
Automated Synthesis of Certifiable Control Software for Autonomous Vehicles
Full project page
Organisations map overview
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
- (Coördinator)
Country: