上一条:国家自然科学基金重点项目,71131002,云计算环境下的多源信息服务系统研究,2012-2016,主持
下一条:国家自然科学基金重大研究计划,90718037,可信软件测试和可信性评估研究,2008-2010,主持