Towards formal system-level verification of security requirements during hardware/software codesign - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner. Towards formal system-level verification of security requirements during hardware/software codesign. In Thomas Büchner, Ramalingam Sridhar, Andrew Marshall, Norbert Schuhmann, editors, Annual IEEE International SoC Conference, SoCC 2010, September 27-29, 2010, Las Vegas, NV, USA, Proceedings. pages 388-391, IEEE, 2010. [doi]

This author has not been identified. Look up 'Johannes Loinig' in GoogleThis author has not been identified. Look up 'Christian Steger' in GoogleThis author has not been identified. Look up 'Reinhold Weiss' in GoogleThis author has not been identified. Look up 'Ernst Haselsteiner' in Google

runs on WebDSL