CORC

在结果中检索

CORC

浏览/检索结果: 共21条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
时间Büchi自动机LTL性质的多核模型检测工具的实现与改进 学位论文
硕士, 北京: 中国科学院大学, 2018
作者:  赵威
收藏  |  浏览/下载：25/0  |  提交时间：2018/06/21
具体反例生成与图形化显示系统 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：16/0  |  提交时间：2012/06/13
基于Mealy机精化关系的验证算法 期刊论文
计算机应用与软件, 2012, 卷号: 29, 期号: 8, 页码: 169-172
梁虹; 金乃咏
收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17
带时间约束的LTL性质的模型检测的实现 期刊论文
计算机工程与设计, 2011, 期号: 2, 页码: 564-567
部德振
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏  |  浏览/下载：19/0  |  提交时间：2010/06/08
带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏  |  浏览/下载：13/0  |  提交时间：2010/06/08
对时间自动机进行空性检测的过程和改进 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23
基于SAT的LTL限界模型检测与验证 学位论文
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009
杜金秀
收藏  |  浏览/下载：18/0  |  提交时间：2009/06/12
时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
魏绪凯
收藏  |  浏览/下载：16/0  |  提交时间：2009/06/14

©版权所有 ©2017 CSpace - Powered by CSpace