Figure 1From: Performance and Reliability of DSRC Vehicular Safety Communication: A Formal Analysis Highway one-dimensional vehicular ad hoc network model. Back to article page