Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mark Nelson, Peter-Michael Seidel. Modeling and Analysis of Trusted Boot Processes Based on Actor Network Procedures. In 16th International Workshop on Microprocessor and SOC Test and Verification, MTV 2015, Austin, TX, USA, December 3-4, 2015. pages 54-59, IEEE, 2015. [doi]

This author has not been identified. Look up 'Mark Nelson' in GoogleThis author has not been identified. Look up 'Peter-Michael Seidel' in Google

runs on WebDSL