CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
Barrier certificates revisited 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun
收藏  |  浏览/下载：34/0  |  提交时间：2017/02/16
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
Dynamic Testing for Deadlocks via Constraints 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 9, 页码: 825-842
Cai, Y; Lu, Q
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
面向无穷数据的形式模型综述 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
收藏  |  浏览/下载：10/0  |  提交时间：2016/12/09
Trace Abstraction Refinement for Solving Horn Clauses 期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文
MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS
收藏  |  浏览/下载：15/0  |  提交时间：2016/12/13
ROS中XML-RPC协议实现的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
收藏  |  浏览/下载：47/0  |  提交时间：2016/12/09
数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
面向云存储的多副本文件完整性验证方案 期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 7, 页码: 1410-1416
付艳艳; 张敏; 陈开渠; 冯登国
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
Combining symmetry reduction with generalized symbolic trajectory evaluation 期刊论文
Computer Journal, 2014, 卷号: 57, 期号: 1, 页码: 115-128
Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)
收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16

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