期刊文章详细信息
“可信软件基础研究”重大研究计划综述
OVERVIEW ON MAJOR RESEARCH PLAN OF TRUSTWORTHY SOFTWARE
文献类型：期刊文章
机构地区：[1]国家自然科学基金委员会信息科学部,北京100085 [2]国家信息中心信息化研究部,北京100045 [3]国防科技大学计算机学院,长沙410073 [4]华东师范大学软件学院,上海200241
年 份：2008
卷 号：22
期 号：3
起止页码：145-151
语 种：中文
收录情况：BDHX、BDHX2004、CSCD、CSCD2011_2012、JST、ZGKJHX、核心刊
摘 要：国家自然科学基金委员会启动实施了"可信软件基础研究"重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。
关 键 词：可信软件 重大研究计划 国家自然科学基金
分 类 号：TP311.52]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
