课题基金 / 基金详情

国家自然科学基金委员会计算机学科系统与软件“十四五”发展规划研究

批准号：
--
项目类别：
专项基金项目
资助金额：
16 万元
负责人：
李宣东
依托单位：
南京大学
学科分类：
科技管理与政策
结题年份：
--
批准年份：
2019
项目状态：
未结题
项目参与者：
李宣东
关键词：
国家自然科学基金委员会计算机学科系统与软件发展规划研究“十四五”

李宣东的其他基金

相似基金

相关文献

基于符号执行的复杂软件系统测试与验证研究
  • 批准号：
    61632015
  • 项目类别：
    重点项目
  • 资助金额：
    255.0万元
  • 批准年份：
    2016
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
  • 批准号：
    90818022
  • 项目类别：
    重大研究计划
  • 资助金额：
    260.0万元
  • 批准年份：
    2008
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于场景规约的Web Service组合行为获取与验证研究
  • 批准号：
    60673125
  • 项目类别：
    面上项目
  • 资助金额：
    22.0万元
  • 批准年份：
    2006
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
实时和混成系统的组合模型验证研究
  • 批准号：
    60073031
  • 项目类别：
    面上项目
  • 资助金额：
    15.0万元
  • 批准年份：
    2000
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
国内基金
海外基金