Benutzer: Gast  Login
Titel:

Security Analysis of Automotive Architectures using Probabilistic Model Checking

Autor(en):
Mundhenk, Philipp; Steinhorst, Sebastian; Lukasiewycz, Martin; Fahmy, Suhaib A.; Chakraborty, Samarjit
Kongress- / Buchtitel:
Proceedings of the 52nd Design Automation Conference (DAC 2015)
Jahr:
2015
Monat:
6
Volltext / DOI:
doi:10.1145/2744769.2744906
 BibTeX