Formal verification of secure reconfigurable scan network infrastructure

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]

Authors

Michael A. Kochte

This author has not been identified. Look up 'Michael A. Kochte' in Google

Rafal Baranowski

This author has not been identified. Look up 'Rafal Baranowski' in Google

Matthias Sauer

This author has not been identified. Look up 'Matthias Sauer' in Google

Bernd Becker

This author has not been identified. Look up 'Bernd Becker' in Google

Hans-Joachim Wunderlich

This author has not been identified. Look up 'Hans-Joachim Wunderlich' in Google