mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(3365)
2023
(7642)
2022
(8653)
2021
(8905)
2020
(8177)
2019
(8872)
2018
(8702)
2017
(8694)
2016
(8828)
Fakultäten
(7982)
Architektur
(151)
Chemie
(527)
Elektrotechnik und Informationstechnik
(1325)
Informatik
(486)
Bau Geo Umwelt
(896)
Maschinenwesen
(1411)
Mathematik
(186)
Medizin
(606)
Physik
(235)
Sport- und Gesundheitswissenschaften
(279)
TUM School of Education
(113)
TUM School of Governance
(28)
Wirtschaftswissenschaften
(361)
Wissenschaftszentrum Weihenstephan
(1387)
Integrated Research Centers
(543)
Zentrale Einrichtungen und Institute
(303)
2015
(8221)
2014
(7134)
2013
(6748)
2012
(5780)
2011
(5563)
2010
(5418)
2009
(4595)
2008
(4104)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2016
Fakultäten
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Document type:
Konferenzbeitrag
Author(s):
Rizaldi, A.; Immler, F.; Althoff, M.
Title:
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
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)