Test Case Generation from Formal Models of Cyber Physical System
Test Case Generation from Formal Models of Cyber Physical System
复制标题
从网络物理系统的形式模型生成测试用例
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Wensheng Yu
中科院分区：
文献类型：
--
作者：
Lichen Zhang;Jifeng He;Wensheng Yu
