CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Efficient controller synthesis for a fragment of MTL0, &infin 期刊论文
Acta Informatica, 2014, 卷号: 51, 期号: 3-4, 页码: 165-192
Bulychev, Peter (1); David, Alexandre (1); Larsen, Kim G. (1); Li, Guangyuan (2)
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16
IscasMc: A web-based probabilistic model checker 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1)
收藏  |  浏览/下载：26/0  |  提交时间：2014/12/16
具体反例生成与图形化显示系统 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16
基于Mealy机精化关系的验证算法 期刊论文
计算机应用与软件, 2012, 卷号: 29, 期号: 8, 页码: 169-172
梁虹; 金乃咏
收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17
构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏  |  浏览/下载：22/0  |  提交时间：2010/06/08
bounded semantics of ctl and sat-based verification 学位论文
2009
Zhang Wenhui
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/20
BPEL引擎监控平台的设计与实现 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
陈今梁
收藏  |  浏览/下载：10/0  |  提交时间：2011/03/17
evaluation of sat-based bounded model checking of actl properties 会议论文
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui
收藏  |  浏览/下载：11/0  |  提交时间：2011/06/29
sat-based verification of ltl formulas 会议论文
11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006)/5th International Workshop on Parallel and Distributed Methods in Verification (PDMC, Bonn, GERMANY, AUG 26-27,
Zhang Wenhui
收藏  |  浏览/下载：16/0  |  提交时间：2011/06/29
model checking with sat-based characterization of actl formulas 会议论文
9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL, NOV 14-15,
Zhang Wenhui
收藏  |  浏览/下载：10/0  |  提交时间：2011/06/29

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