航天嵌入式软件安全性验证技术

Email Alert　 RSS

航天嵌入式软件安全性验证技术

高猛, 王晓玲, 朱晓程

The verification technology for aerospace embedded software safety

GAO Meng, WANG Xiaoling, ZHU Xiaocheng

航天控制 . 2025, (2): 72 -78 .