×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
Toggle navigation
Home
About Journal
Editorial Board
Instruction
Subscription
Contact Us
中文
Constructing formal verification models for hardware Trojans
SHEN Lixiang,MU Dejun,CAO Guo,XIE Guangqian,SHU Fangyong
Journal of Xidian University . 2021, (
3
): 146 -153 . DOI: 10.19665/j.issn1001-2400.2021.03.019
