Benutzer: Gast  Login
Autor(en):
Rizaldi, Albert; Immler, Fabian; Althoff, Matthias 
Titel:
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles 
Kongress- / Buchtitel:
NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings 
Jahr:
2016 
Seiten:
175--190