- 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 Annual Design Automation Conference on - DAC '15
- Publisher:
- Association for Computing Machinery (ACM)
- Date of publication:
- 01.01.2015
- Year:
- 2015
- Print-ISBN:
- http://id.crossref.org/isbn/9781450335201
- Fulltext / DOI:
- doi:10.1145/2744769.2744906
- BibTeX