Login
- Titel:
Security analysis of automotive architectures using probabilistic model checking
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Mundhenk, Philipp; Steinhorst, Sebastian; Lukasiewycz, Martin; Fahmy, Suhaib A.; Chakraborty, Samarjit
- Kongress- / Buchtitel:
- Proceedings of the 52nd Annual Design Automation Conference on - DAC '15
- Verlag / Institution:
- ACM Press
- Publikationsdatum:
- 01.01.2015
- Jahr:
- 2015
- Print-ISBN:
- 9781450335201
- Volltext / DOI:
- doi:10.1145/2744769.2744906
BibTeX