|
已选(0)清除
条数/页： 排序方式：
|
| 测试用例执行路径分析的故障定位方法研究 学位论文
: 大连理工大学, 2018
作者: 曹迅
  收藏 | 浏览/下载：3/0 | 提交时间：2019/12/02
|
| 信息物理系统软件的形式建模、验证与分析 学位论文
: 大连理工大学, 2018
作者: 侯刚
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/02
|
| 多重中断驱动C程序的数据竞争检测 学位论文
硕士, 北京: 中国科学院研究生院, 2016
熊浩军
收藏 | 浏览/下载：11/0 | 提交时间：2016/06/25
|
| 基于混成计算的多核限界模型检测 项目
2015-
作者: 孔维强
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/09 |
| 限界模型检测技术的优化与扩展 学位论文
: 江苏大学, 2014
作者: 邢支虎[1]
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/24
|
| 基于随机模型检测的协议分析与模型空间约简 学位论文
: 江苏大学, 2014
作者: 董恒龙[1]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/24
|
| 基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏 | 浏览/下载：16/0 | 提交时间：2012/06/13
|
| 基于限界模型检查的Web服务行为失配检测 期刊论文
计算机科学, 2012, 卷号: 39, 期号: 6, 页码: 129-132
戎玫; 陈圣标; 张广泉
收藏 | 浏览/下载：71/0 | 提交时间：2012/11/12 |
| 基于限界模型检查的Web服务行为失配检测 期刊论文
2012, 卷号: 39, 期号: 6, 页码: 129
作者: 戎玫[1]; 陈圣标[2]; 张广泉[2,3]
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/17
|
| 关于可满足性问题的一些研究及其在模型检测中的应用 学位论文
博士, 北京: 中国科学院研究生院, 2010
陈伟
收藏 | 浏览/下载：11/0 | 提交时间：2010/06/04
|
