CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
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
Metrics for differential privacy in concurrent systems 会议论文
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Xu, Lili (1); Chatzikokolakis, Konstantinos (2); Lin, Huimin (4)
收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16
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
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
SIMULATING ENERGY EFFICIENT WIRELESS SENSOR NETWORKS USING CELLULAR AUTOMATA 会议论文
Xu, Xiaoyun; Zhang, Xi; Wang, Long
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
revisiting the power and equivalence of one-way quantum finite automata 会议论文
6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18,
Li Lvzhou; Qiu Daowen
收藏  |  浏览/下载：14/0  |  提交时间：2011/03/31
On evolving probabilistic cellular automata 会议论文
作者:  Tu, H;  Chen, W;  Li, YX
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
Counterexample generation and representation in model checking for probabilistic timed automata 会议论文
Singapore, Singapore, August 3, 2011 - August 5, 2011
作者:  Wu, Jianfeng[1];  Wang, Jing[1];  Rong, Mei[2];  Zhang, Guangquan[1,3];  Zhu, Jihan[1]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/17

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