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