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 Design Automation Conference (DAC 2015) 
Year:
2015