CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
不确定型模糊Kripke结构的计算树逻辑模型检测 期刊论文
2018, 卷号: 46, 期号: 1, 页码: 152
作者:  范艳焕[1,2];  李永明[1];  潘海玉[1,3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
基于余归纳的最小Kripke结构的求解 期刊论文
软件学报, 2014, 卷号: 25, 期号: 1, 页码: 16-26
高建华; 蒋颖
收藏  |  浏览/下载：15/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
改进的以SMT为基础的实时系统限界模型检测 期刊论文
软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23
基于时序逻辑的Object-Z类切片的扩展 期刊论文
计算机技术与发展, 2009, 卷号: 19, 页码: 13-16,21
作者:  佟长英[1];  沈云付[2]
收藏  |  浏览/下载：3/0  |  提交时间：2019/04/30
知识推理的程度化方法(英文) 期刊论文
南京大学学报数学半年刊, 2008, 期号: 2008年01期, 页码: 1-10
作者:  李骏;  王国俊;  李建生
收藏  |  浏览/下载：0/0  |  提交时间：2019/11/13
一种新的时段演算及其验证 其他
2007-01-01
梁爱丽; 朱嘉奇; 王捍贫; 屈婉玲
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12

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