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