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