mediaTUM - Media and Publication Server

User: Guest

If you experience problems opening the document, please try this link.

Title:: A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
Document type:: Konferenzbeitrag
Author(s):: Rizaldi, A.; Immler, F.; Althoff, M.
Book / Congress title:: 8th NASA Formal Methods Symposium
Year:: 2016
Pages:: 175–190
BibTeX

Occurrences:

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

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