国家自然科学基金委员会计算机学科系统与软件“十四五”发展规划研究
批准号：
--
项目类别：
专项基金项目
资助金额：
16 万元
负责人：
李宣东
依托单位：
南京大学
学科分类：
--
结题年份：
--
批准年份：
2019
项目状态：
未结题
项目参与者：
李宣东
关键词：
国家自然科学基金委员会计算机学科系统与软件发展规划研究“十四五”
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
基于符号执行的复杂软件系统测试与验证研究
  • 批准号：
    61632015
  • 项目类别：
    重点项目
  • 资助金额：
    255.0万元
  • 批准年份：
    2016
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
  • 批准号：
    90818022
  • 项目类别：
    重大研究计划
  • 资助金额：
    260.0万元
  • 批准年份：
    2008
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于场景规约的Web Service组合行为获取与验证研究
  • 批准号：
    60673125
  • 项目类别：
    面上项目
  • 资助金额：
    22.0万元
  • 批准年份：
    2006
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
实时和混成系统的组合模型验证研究
  • 批准号：
    60073031
  • 项目类别：
    面上项目
  • 资助金额：
    15.0万元
  • 批准年份：
    2000
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
实时和混成系统的模型确认算法及工具的研究
  • 批准号：
    69703009
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    10.0万元
  • 批准年份：
    1997
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
国内基金
海外基金