|
已选(0)清除
条数/页： 排序方式：
|
| 基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
  收藏 | 浏览/下载：18/0 | 提交时间：2014/06/06
|
| 命题动态逻辑及其递归扩展 学位论文
博士, 北京: 中国科学院研究生院, 2012
薛冰天
收藏 | 浏览/下载：10/0 | 提交时间：2012/06/01
|
| 不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏 | 浏览/下载：22/0 | 提交时间：2012/07/06
|
| 基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏 | 浏览/下载：16/0 | 提交时间：2012/06/13
|
| 网络编程逻辑抽象 学位论文
博士, 北京: 中国科学院研究生院, 2010
汪芳
收藏 | 浏览/下载：20/0 | 提交时间：2010/12/02
|
| 带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏 | 浏览/下载：13/0 | 提交时间：2010/06/08
|
| 卫命令模型检测工具的设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王绍春
收藏 | 浏览/下载：16/0 | 提交时间：2010/06/07
|
| 带逻辑算子的形式概念分析 学位论文
北京: 中国科学院研究生院, 2010
作者: 雷玉霞
收藏 | 浏览/下载：2/0 | 提交时间：2010/06/24 |
| NP难问题的算法和实验性研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2010
刘生
收藏 | 浏览/下载：9/0 | 提交时间：2010/01/29
|
