mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(2615)
2023
(7220)
2022
(8626)
2021
(8878)
2020
(8164)
2019
(8859)
2018
(8689)
2017
(8680)
2016
(8816)
2015
(8209)
Fakultäten
(7440)
Integrated Research Centers
(497)
Institute for Advanced Study (IAS)
(360)
Munich Center for Technology in Society (MCTS)
(106)
Munich School of Engineering
(31)
Zentrale Einrichtungen
(272)
2014
(7123)
2013
(6741)
2012
(5770)
2011
(5557)
2010
(5415)
2009
(4589)
2008
(4098)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2015
Integrated Research Centers
Institute for Advanced Study (IAS)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Autor(en):
Mundhenk, Philipp; Steinhorst, Sebastian; Lukasiewycz, Martin; Fahmy, Suhaib A.; Chakraborty, Samarjit
Titel:
Security analysis of automotive architectures using probabilistic model checking
Kongress- / Buchtitel:
Proceedings of the 52nd Annual Design Automation Conference on - DAC '15
Verlag / Institution:
Association for Computing Machinery (ACM)
Publikationsdatum:
01.01.2015
Jahr:
2015
Print-ISBN:
http://id.crossref.org/isbn/9781450335201
Volltext / DOI:
doi:10.1145/2744769.2744906
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Hochschulbibliographie
2015
Integrated Research Centers
Institute for Advanced Study (IAS)
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Institute for Advanced Study (IAS)
Research Areas
Research Area: Control Theory, Systems Engineering and Robotics
Alumni Focus Groups
Focus Group: Automated Controller Synthesis