QQ客服 官方微博 反馈留言

	Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking
	Zhou, Conghua[1]; Wang, Yong[2]; Cao, Meiling[3]; Shi, Jianqi[4]; Liu, Yang[5]
	2015
会议名称	PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING
会议日期	2015-01-01
关键词	IEEE 802.11p media access control probabilistic model checking probabilistic timed automata
页码	55-62
收录类别	EI ; CPCI-S
URL标识	查看原文
WOS记录号	WOS:000380484000010
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/5383274
专题	江苏大学
作者单位	1.[1]Jiangsu Univ, Sch Comp Sci & Telecommun Engn, Zhenjiang, Jiangsu, Peoples R China. 2.[2]Jiangsu Univ, Sch Comp Sci & Telecommun Engn, Zhenjiang, Jiangsu, Peoples R China. 3.[3]Jiangsu Univ, Sch Comp Sci & Telecommun Engn, Zhenjiang, Jiangsu, Peoples R China. 4.[4]East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China. 5.[5]Nanyang Technol Univ, Sch Comp Engn, Singapore, Singapore.
推荐引用方式 GB/T 7714	Zhou, Conghua[1],Wang, Yong[2],Cao, Meiling[3],et al. Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking[C]. 见:PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING. 2015-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。