mediaTUM - Medien- und Publikationsserver

Benutzer: Gast

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

Vorkommen:

mediaTUM Gesamtbestand Hochschulbibliographie 2016 Fakultäten Informatik Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)

mediaTUM Gesamtbestand Einrichtungen Schools TUM School of Computation, Information and Technology Departments Computer Engineering Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)2016