陶克强 何国伟 遇今 缪峥红 武庄 韩振 何新贵 张华杰

逻辑 时间 监测 软件安全 软件工程 知识表示 可靠性测试 可靠性估计

北京航空航天大学 北京系统工程研究所 中国航天工程咨询中心 北京航天自动控制研究所 北京计算机应用与仿真技术研究所