User: Guest  Login
Title:

Security analysis of automotive architectures using probabilistic model checking

Document type:
Konferenzbeitrag
Author(s):
Mundhenk, Philipp; Steinhorst, Sebastian; Lukasiewycz, Martin; Fahmy, Suhaib A.; Chakraborty, Samarjit
Book / Congress title:
Proceedings of the 52nd Annual Design Automation Conference on - DAC '15
Publisher:
ACM Press
Date of publication:
01.01.2015
Year:
2015
Print-ISBN:
9781450335201
Fulltext / DOI:
doi:10.1145/2744769.2744906
 BibTeX