基于概率策略逻辑的VANET信息广播模型定量验证方法研究
李树秋, 刘淑芬, 王晓燕, 徐伟峰, 陆闯
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
电子学报
.
2015, (8): 1610
-1615
.
DOI: 10.3969/j.issn.0372-2112.2015.08.021
