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: | , |
---|---|
Format: | Thesis |
Published: |
2009
|
Subjects: | |
Online Access: | http://eprints.utp.edu.my/2697/1/Thesis.pdf http://eprints.utp.edu.my/2697/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Universiti Teknologi Petronas |