(1.复杂航天系统电子信息技术重点实验室(中国科学院国家空间科学中心),北京 100190; 2.中国科学院大学,北京 100049)
段嘉奇(1998—),女,硕士研究生
周晴,zhouqing@nssc.ac.cn
TP311.5
民用航天技术“十三五”预先研究基金(B0204)
(1.Key Laboratory of Electronics and Information Technology for Space Systems(National Space Science Center, Chinese Academy of Sciences), Beijing 100190, China; 2.University of Chinese Academy of Sciences, Beijing 100049, China)
段嘉奇,林明达,周晴.面向全迁移的小规模EFSM测试序列集生成方法[J].哈尔滨工业大学学报,2023,55(10):27. DOI:10.11918/202205116
复制