位置：成果数据库 > 期刊 > 期刊详情页
在模型检验工具SMV中实现进程阻
  • 期刊名称：《计算机工程与科学》。Vol.28，No.3，2006
  • 时间：0
  • 相关项目：基于构件的高可信系统形式验证研究
作者： 王常春，董威
同期刊论文项目
基于构件的高可信系统形式验证研究
期刊论文 15 会议论文 12
同项目期刊论文
UML模型中并发对象的组合验证
UML Statecharts的层次组合验证
一种基于抽象解释和通用单调数据
包含依赖输入分支程序的符号化WC
面向服务软件体系结构的接口模型
基于WCET分析的实时系统轨迹获取
一种面向性质的实时系统测试方法
反应式系统面向性质测试的方法框
高可信软件工程技术
一种基于抽象解释的WCET自动分析工具
基于WCET分析的实时系统轨迹获取技术
包含依赖输入分支程序的符号化WCET分析