CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
BISIMULATIONS OF BOOLEAN CONTROL NETWORKS 期刊论文
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2018, 卷号: 56, 页码: 388-416
作者:  Li, Rui;  Chu, Tianguang;  Wang, Xingyuan
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/02
Nondeterministic fuzzy automata with membership values in complete residuated lattices 期刊论文
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Ping
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Complete Proof Systems for Amortised Probabilistic Bisimulations 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions 期刊论文
2015, 2015
Guang Zheng; Jinzhao Wu; Aiping Lu
收藏  |  浏览/下载：5/0  |  提交时间：2017/06/19
Lattice-valued simulations for quantitative transition systems 期刊论文
international journal of approximate reasoning, 2015
Pan, Haiyu; Li, Yongming; Cao, Yongzhi
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/11
Model checking fuzzy computation tree logic 期刊论文
fuzzy sets and systems, 2015
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou
收藏  |  浏览/下载：7/0  |  提交时间：2015/11/11
Bisimulation-based consistency checking on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis between textbook and clinical practice 会议论文
Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014, Kunming, Yunnan, China, August 16, 2014 - August 17, 2014
作者:  Zheng, Guang;  Wang, Ling-Ru;  Shi, Huan-Huan;  Li, Rong;  Jiang, Miao
收藏  |  浏览/下载：5/0  |  提交时间：2017/01/18
Simulation for lattice-valued doubly labeled transition systems 期刊论文
international journal of approximate reasoning, 2014
Pan, Haiyu; Cao, Yongzhi; Zhang, Min; Chen, Yixiang
收藏  |  浏览/下载：6/0  |  提交时间：2015/11/11
When equivalence and bisimulation join forces in probabilistic automata 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Feng, Yuan (1); Zhang, Lijun (3)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Bisimulations and logical characterizations on continuous-time markov decision processes 会议论文
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16

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