Benutzer: Gast  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 Annual Design Automation Conference on - DAC '15
Verlag / Institution:
Association for Computing Machinery (ACM)
Publikationsdatum:
01.01.2015
Jahr:
2015
Print-ISBN:
http://id.crossref.org/isbn/9781450335201
Volltext / DOI:
doi:10.1145/2744769.2744906
 BibTeX