A Co-Verification Interface Design for High-Assurance CPS
A Co-Verification Interface Design for High-Assurance CPS
复制标题
高保证CPS的协同验证接口设计
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
Hui Zhou
中科院分区:
文献类型:
--
作者:
Yu Zhang;Mengxing Huang;Hao Wang;Wenlong Feng;Jieren Cheng;Hui Zhou