|
已选(0)清除
条数/页： 排序方式：
|
| 智能体的环境视觉感知方法研究（新） 学位论文
北京: 中国科学院大学, 2017
作者: 马刚
  收藏 | 浏览/下载：13/0 | 提交时间：2017/07/19 |
| 基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏 | 浏览/下载：21/0 | 提交时间：2016/06/21
|
| Simulink/Stateflow 模型的形式验证及其应用 学位论文
博士, 北京: 中国科学院大学, 2015
邹亮
收藏 | 浏览/下载：16/0 | 提交时间：2015/06/26 |
| 并发系统差分隐私的形式化验证 学位论文
博士, 北京: 中国科学院研究生院, 2014
许丽丽
收藏 | 浏览/下载：15/0 | 提交时间：2015/01/16
|
| 公平性约束下基于抽象和推理的活性验证 学位论文
博士, 北京: 中国科学院研究生院, 2013
龙腾
收藏 | 浏览/下载：15/0 | 提交时间：2013/05/31
|
| Web 应用在线故障诊断框架的设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2012
周晓炜
收藏 | 浏览/下载：10/0 | 提交时间：2013/01/09
|
| 带参并发系统的模型检测 学位论文
硕士, 中科院软件所: 中科院研究生院, 2009
-
收藏 | 浏览/下载：12/0 | 提交时间：2009/06/11
|
| 限界模型检测方法及其应用 学位论文
硕士, 北京: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：9/0 | 提交时间：2009/06/11
|
