CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
基于文本特征提取的软件缺陷自动定位技术研究 学位论文
硕士, 北京: 中国科学院大学, 2020
作者:  朱家佑
收藏  |  浏览/下载：16/0  |  提交时间：2020/06/10
基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
收藏  |  浏览/下载：192/0  |  提交时间：2019/07/03
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
收藏  |  浏览/下载：13/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
基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏  |  浏览/下载：21/0  |  提交时间：2016/06/21
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

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