项目简介
项目名称
软件工程学
项目批准号
60425204
学科分类
f020202
信息科学部
_计算机科学
_计算机软件
_软件工程
资助类型
信息科学
负责人
李宣东
依托单位
南京大学
批准年份
2004
起止时间
200501-200812
批准金额
100.00万元
摘要
近年来申请人的研究工作在实时和混成系统模型检验领域取得进展,主持承担了包括国家自然科学基金、863高技术研究开发基金、国家重点基础研究计划(973)课题、国家九五重点攻关项目在内的多项科研项目,获1998年教育部科学技术进步二等奖和2002年教育部自然科学二等奖,已在包括《Journal of Logic and Algebraic Programming》、《Information Processing Letters》、《Formal Aspects of Computing》、《Lecture Notes in Comput
评论区 (0)
#插入话题