Security analysis of automotive architectures using probabilistic model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Philipp Mundhenk, Sebastian Steinhorst, Martin Lukasiewycz, Suhaib A. Fahmy, Samarjit Chakraborty. Security analysis of automotive architectures using probabilistic model checking. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. pages 38, ACM, 2015. [doi]

This author has not been identified. Look up 'Philipp Mundhenk' in GoogleThis author has not been identified. Look up 'Sebastian Steinhorst' in GoogleThis author has not been identified. Look up 'Martin Lukasiewycz' in GoogleThis author has not been identified. Look up 'Suhaib A. Fahmy' in GoogleThis author has not been identified. Look up 'Samarjit Chakraborty' in Google

runs on WebDSL