朱小冬 王莉 王宏 李峰 彭强 关向前 李辉 冯静

通信模式 软件估算 插桩 轨迹 形式化方法 军用软件 软件维护 本体

吉林长春 IBM中国研究院 军械工程学院维修工程研究所 军械工程学院装备指挥与管理系 吉林大学计算机科学与技术学院