发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2018 IEEE 3rd International Verification and Security Workshop (IVSW) - Costa Brava, Spain (2018.7.2-2018.7.4)] 2018 IEEE 3rd International Verification and Security Workshop (IVSW) - Property Based Formal Security Verification for Hardware Trojan Detection

[IEEE 2018 IEEE 3rd International Verification and Security Workshop (IVSW) - Costa Brava, Spain (2018.7.2-2018.7.4)] 2018 IEEE 3rd International Verification and Security Workshop (IVSW) - Property Based Formal Security Verification for Hardware Trojan Detection

Qin, Maoyuan; Hu, Wei; Mu, Dejun; Tai, Yu

作者Qin, Maoyuan; Hu, Wei; Mu, Dejun; Tai, Yu
文件大小372.44KB
发表时间2018
DOI10.1109/IVSW.2018.8494858
页码62-67

← 返回【学霸图书馆】主页