Verification Methods for Secure and Reliable SoPC Systems

Lu Kong, Jinbo Wang. Verification Methods for Secure and Reliable SoPC Systems. In 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017. pages 616-617, IEEE, 2017. [doi]

Abstract

Abstract is missing.