|
已选(0)清除
条数/页： 排序方式：
|
| 线性时序逻辑转换Buchi自动机的按需即时算法 期刊论文
清华大学学报. 自然科学版, 2014, 卷号: 54, 期号: 2, 页码: 281-288
单来祥; 覃征; 卢欣晔; 卢正才
  收藏 | 浏览/下载：21/0 | 提交时间：2014/12/16
|
| 针对瞬时故障的控制流容错技术研究 学位论文
硕士, 北京: 中国科学院研究生院, 2010
张显明
收藏 | 浏览/下载：10/0 | 提交时间：2010/06/09
|
| 带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏 | 浏览/下载：14/0 | 提交时间：2010/06/08
|
| 列车通信网络容错机制研究及关键通信逻辑的仿真 学位论文
硕士, 北京: 中国科学院研究生院, 2010
朱涛
收藏 | 浏览/下载：40/0 | 提交时间：2010/06/08
|
| 一种面向MVC Web框架的Portlet桥接设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
樊伟
收藏 | 浏览/下载：12/0 | 提交时间：2010/06/08
|
| 关于可满足性问题的一些研究及其在模型检测中的应用 学位论文
博士, 北京: 中国科学院研究生院, 2010
陈伟
收藏 | 浏览/下载：11/0 | 提交时间：2010/06/04
|
| NP难问题的算法和实验性研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2010
刘生
收藏 | 浏览/下载：16/0 | 提交时间：2010/01/29
|
| 实时数据流异常事件检测技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院，中国科学院软件研究所, 2009
-
收藏 | 浏览/下载：11/0 | 提交时间：2009/06/11
|
| 时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
魏绪凯
收藏 | 浏览/下载：17/0 | 提交时间：2009/06/14 |
| 基于资源调用链的Web应用服务器监视诊断框架的设计与实现 学位论文
硕士, 中科院软件所: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：30/0 | 提交时间：2009/06/11
|
