CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
不确定型模糊Kripke结构的计算树逻辑模型检测 期刊论文
2018, 卷号: 46, 期号: 1, 页码: 152
作者:  范艳焕[1,2];  李永明[1];  潘海玉[1,3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
基于余归纳的最小Kripke结构的求解 期刊论文
软件学报, 2014, 卷号: 25, 期号: 1, 页码: 16-26
高建华; 蒋颖
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
基于Ajax技术的Web应用的建模与测试用例生成 期刊论文
计算机科学, 2014, 卷号: 41, 页码: 219-223,244
作者:  贺涛[1];  缪淮扣[2];  钱忠胜[3]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30
一种源程序级软件验证方法研究 期刊论文
小型微型计算机系统, 2014, 卷号: 35, 期号: 3, 页码: 543-548
作者:  叶俊民;  王珍;  戴跃庭;  金聪
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/23
基于Ajax技术的Web应用的建模与测试用例生成 会议论文
2013年全国理论计算机科学学术年会, 2013-10-11
作者:  贺涛[1];  缪淮扣[2];  钱忠胜[3]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30
带参的相继式演算 学位论文
硕士, 北京: 中国科学院研究生院, 2012
纪开亮
收藏  |  浏览/下载：9/0  |  提交时间：2012/06/01
时间相关密码协议逻辑及其形式化语义 期刊论文
软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557
雷新锋; 刘军; 肖军模
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
改进的以SMT为基础的实时系统限界模型检测 期刊论文
软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23
基于模型检测的半结构化数据查询 期刊论文
计算机与数字工程, 2009, 期号: 8, 页码: 75-79
作者:  刘林霞;  张自强;  何安平
收藏  |  浏览/下载：2/0  |  提交时间：2016/07/15
基于时序逻辑的Object-Z类切片的扩展 期刊论文
计算机技术与发展, 2009, 卷号: 19, 页码: 13-16,21
作者:  佟长英[1];  沈云付[2]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30

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