CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Reachability in Fuzzy Game Graphs 期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Model checking quantum key distribution protocols 会议论文
作者:  Huang, Baichuan;  Huang, Yan;  Kong, Jiaming;  Huang, Xin
收藏  |  浏览/下载：10/0  |  提交时间：2019/11/26
Mobile Robot Path Planning based on Probabilistic Model Checking under Uncertainties 会议论文
PROCEEDINGS OF THE 2015 3RD INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND INFORMATION TECHNOLOGY APPLICATIONS, 2015-01-01
作者:  Lou, Wei;  Xia, Chunrui
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
Incremental bisimulation abstraction refinement 会议论文
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013, 卷号: 28, 页码: 203-216
作者:  Liu, Yang[1];  Miao, Huai-Kou[2];  Zeng, Hong-Wei[3];  Ma, Yan[4];  Liu, Pan[5]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30
Online operation risk assessment for power system static security considering secondary devices models 期刊论文
2010, 2010
Wu Wenchuan; Ning Liaoyi; Zhang Burning; He Yunliang; Feng Yongqing
收藏  |  浏览/下载：5/0
一种考虑二次设备模型的在线静态运行风险评估方法 期刊论文
2010, 2010
吴文传; 宁辽逸; 张伯明; 何云良; 冯永青; WU Wenchuan; NING Liaoyi; ZHANG Boming; HE Yunliang; FENG Yongqing
收藏  |  浏览/下载：2/0

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