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
BibTeX