电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2015, Vol. 43 Issue (8): 1610-1615    DOI: 10.3969/j.issn.0372-2112.2015.08.021
学术论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于概率策略逻辑的VANET信息广播模型定量验证方法研究
李树秋, 刘淑芬, 王晓燕, 徐伟峰, 陆闯
吉林大学计算机科学与技术学院, 吉林长春 130012
Quantitative Study of VANET Information Broadcasting Protocol Verification Based on Probabilistic Strategy Logic
LI Shu-qiu, LIU Shu-fen, WANG Xiao-yan, XU Wei-feng, LU Chuang
College of Computer Science and Technology, Jilin University, Changchun, Jilin 130012, China

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
京ICP备12041980号-1