User: Guest  Login
Author(s):
Mundhenk, Philipp; Steinhorst, Sebastian; Lukasiewycz, Martin; Fahmy, Suhaib A.; Chakraborty, Samarjit 
Title:
Security analysis of automotive architectures using probabilistic model checking 
Book / Congress title:
Proceedings of the 52nd Annual Design Automation Conference on - DAC '15 
Publisher:
Association for Computing Machinery (ACM) 
Date of publication:
01.01.2015 
Year:
2015 
Print-ISBN:
http://id.crossref.org/isbn/9781450335201