Benutzer: Gast  Login
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 Design Automation Conference (DAC 2015) 
Jahr:
2015