Login
- Title:
Security Analysis of Automotive Architectures using Probabilistic Model Checking
- Author(s):
- Mundhenk, Philipp; Steinhorst, Sebastian; Lukasiewycz, Martin; Fahmy, Suhaib A.; Chakraborty, Samarjit
- Book / Congress title:
- Proceedings of the 52nd Design Automation Conference (DAC 2015)
- Year:
- 2015
- Month:
- 6
- Fulltext / DOI:
- doi:10.1145/2744769.2744906
BibTeX