位置：立项数据库 > 立项详情页
面向UML的形式化测试技术
  • 项目名称：面向UML的形式化测试技术
  • 项目类别：面上项目
  • 批准号：69973051
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：王戟
  • 依托单位：中国人民解放军国防科学技术大学
  • 批准年度：1999
王戟的项目
混成系统设计演算
第19届软件工程自动化国际会议
"第10届高质量软件国际会议"国际合作交流
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
实时容错协议的形式化技术
期刊论文 5
第1届CUE会议
可信信息物理融合软件的分析与验证
期刊论文 3
　高安全等级操作系统设计验证的关键技术
期刊论文 6
网络计算环境的程序设计理论及关键技术
期刊论文 10
软件工程学
期刊论文 25 会议论文 10