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

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

[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - Formal Security Verification of Concurrent Firmware in SoCs using Instruction-Level Abstraction for Hardware
<sup>*</sup>

[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - Formal Security Verification of Concurrent Firmware in SoCs using Instruction-Level Abstraction for Hardware ^*

Huang, Bo-Yuan; Ray, Sayak; Gupta, Aarti; Fung, Jason M.; Malik, Sharad

作者Huang, Bo-Yuan; Ray, Sayak; Gupta, Aarti; Fung, Jason M.; Malik, Sharad
文件大小25.92KB
发表时间2018
DOI10.1109/DAC.2018.8465794
页码1-6

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