CORC

在结果中检索

CORC

浏览/检索结果: 共17条，第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
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
Denial-of-service security attack in the continuous-time world 会议论文
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2)
收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文
Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：17/0  |  提交时间：2012/06/13
language-theoretic abstraction refinement 会议论文
15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24, 2012 - April 1, 2012
Long Zhenyue; Calin Georgel; Majumdar Rupak; Meyer Roland
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22
a new security mode based identity encryption in ad hoc network 会议论文
3rd International Conference on Multimedia Information Networking and Security, MINES 2011, Shanghai, China, November 4
Wei Hongru; Qi Chao
收藏  |  浏览/下载：21/0  |  提交时间：2013/10/08
verifying the safety of xen security modules 会议论文
2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02
Han Wei; He Yeping; Ding Liping
收藏  |  浏览/下载：20/0  |  提交时间：2011/10/10

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