Security analysis of automotive architectures using probabilistic model checking

Phil IPp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations

Fingerprint

Dive into the research topics of 'Security analysis of automotive architectures using probabilistic model checking'. Together they form a unique fingerprint.

Engineering & Materials Science