Leading Scientist:Beijun Shen Date of Project Completion:2014-09-01 Date of Project Initiation:2013-01-01
Pre One:《Trustie 技术在航天控制软件生产过程中的可信评估、应用和演化研究》子课题
Next One:软件代码脆弱性评估工具