位置：立项数据库 > 立项详情页
第七届实时与容错系统中的形式化技术国际研讨会
  • 项目名称：第七届实时与容错系统中的形式化技术国际研讨会
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：60210206228
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：李宣东
  • 依托单位：南京大学
  • 批准年度：2002
李宣东的项目
基于符号执行的复杂软件系统测试与验证研究
期刊论文 4
实时和混成系统的组合模型验证研究
第一届中美欧CUE学术研讨会
基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
期刊论文 56 会议论文 43 获奖 8
基于场景规约的Web Service组合行为获取与验证研究
期刊论文 6 会议论文 2
第七届亚太地区软件工程会议
第七届IEEE面向对象实时分布式计算国际研讨会
软件工程学
期刊论文 17 会议论文 16
第四届国际统一建模语言学术会议
实时和混成系统的模型确认算法及工具的研究