CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
A space-efficient simulation algorithm on probabilistic automata 期刊论文
INFORMATION AND COMPUTATION, 2016, 卷号: 249, 页码: 138-159
Zhang, LJ; Jansen, DN
收藏  |  浏览/下载：24/0  |  提交时间：2016/12/09
Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏  |  浏览/下载：21/0  |  提交时间：2016/12/09
Complete Proof Systems for Amortised Probabilistic Bisimulations 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM
收藏  |  浏览/下载：15/0  |  提交时间：2016/12/09
Lattice-valued simulations for quantitative transition systems 期刊论文
international journal of approximate reasoning, 2015
Pan, Haiyu; Li, Yongming; Cao, Yongzhi
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/11
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking 会议论文
PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015-01-01
作者:  Zhou, Conghua[1];  Wang, Yong[2];  Cao, Meiling[3];  Shi, Jianqi[4];  Liu, Yang[5]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/24
State Tracking and Fault Diagnosis for Dynamic Systems Using Labeled Uncertainty Graph 期刊论文
SENSORS, 2015, 卷号: 15, 页码: 28031-28051
作者:  Zhou, Gan;  Feng, Wenquan;  Zhao, Qi;  Zhao, Hongbo
收藏  |  浏览/下载：6/0  |  提交时间：2020/01/06
A Behavioral Distance for Fuzzy-Transition Systems 期刊论文
ieee transactions on fuzzy systems, 2013
Cao, Yongzhi; Sun, Sherry X.; Wang, Huaiqing; Chen, Guoqing
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/10
Probabilistic automata for computing with words 期刊论文
journal of computer and system sciences, 2013
Cao, Yongzhi; Xia, Lirong; Ying, Mingsheng
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/10
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
收藏  |  浏览/下载：18/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)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16

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