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