Formal verification of secure reconfigurable scan network infrastructure - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich. Formal verification of secure reconfigurable scan network infrastructure. In 21th IEEE European Test Symposium, ETS 2016, Amsterdam, Netherlands, May 23-27, 2016. pages 1-6, IEEE, 2016. [doi]

The following publications are possibly variants of this publication:

Reconfigurable scan networks: formal verification, access optimization, and protectionRafal Baranowski. PhD thesis, University of Stuttgart, 2014. [doi]

runs on WebDSL