Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Rizaldi, A.; Immler, F.; Althoff, M.
Kongress- / Buchtitel:
8th NASA Formal Methods Symposium
Jahr:
2016
Seiten:
175–190
 BibTeX