Formal Specification Language for Vehicular Ad-Hoc Networks
Vehicular Ad-Hoc Network (VANET) is a form of Mobile Ad-Hoc Network (wireless Network), originally used to provide safety & comfort for passengers, & currently being used to establish Dedicated Short Range Communications (DSRC) among near by Vehicles (V2V Communications) and between vehic...
Saved in:
Main Authors: | , |
---|---|
格式: | Thesis |
出版: |
2009
|
主题: | |
在线阅读: | http://eprints.utp.edu.my/2697/1/Thesis.pdf |
标签: |
添加标签
没有标签, 成为第一个标记此记录!
|