C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Performance and Reliability of DSRC Vehicular Safety Communication: A Formal Analysis.
Xiaomin Ma
Xianbo Chen
Hazem H. Refai
Published in:
EURASIP J. Wirel. Commun. Netw. (2009)
Keyphrases
</>
formal analysis
communication systems
vehicular ad hoc networks
formal methods
agent model
information sharing
wireless networks
communication networks
short range
control center
traffic flow
resource constrained
network connectivity