课题基金 / 基金详情

实时和混成系统的模型确认算法及工具的研究

批准号：
69703009
项目类别：
青年科学基金项目
资助金额：
10.0 万元
负责人：
李宣东
依托单位：
南京大学
学科分类：
计算机科学的基础理论
结题年份：
2000
批准年份：
1997
项目状态：
已结题
项目参与者：
郑滔、徐殿祥、赵建华、陈家骏、候建民、樊晓聪、梁隹、张翅、胡德强
关键词：
形式化方法模型确

李宣东的其他基金

相似基金

相关文献

国家自然科学基金委员会计算机学科系统与软件“十四五”发展规划研究
  • 批准号：
    --
  • 项目类别：
    专项基金项目
  • 资助金额：
    16万元
  • 批准年份：
    2019
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于符号执行的复杂软件系统测试与验证研究
  • 批准号：
    61632015
  • 项目类别：
    重点项目
  • 资助金额：
    255.0万元
  • 批准年份：
    2016
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
  • 批准号：
    90818022
  • 项目类别：
    重大研究计划
  • 资助金额：
    260.0万元
  • 批准年份：
    2008
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
基于场景规约的Web Service组合行为获取与验证研究
  • 批准号：
    60673125
  • 项目类别：
    面上项目
  • 资助金额：
    22.0万元
  • 批准年份：
    2006
  • 负责人：
    李宣东
  • 依托单位：
    南京大学
国内基金
海外基金