- 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
- BibTeX