邓勇进 王戟 徐锡山 陈凌鹤 王承松 谢冰 董威 张秀梅

基于构件软件 软件可信评估 软件可靠性工程 软件可靠性 方面 软件可信证据 软件可靠性评估系统应用 实时特性

湖南长沙 国防科学技术大学计算机学院 国防科技大学计算机学院研究生队