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
BibTeX