Figure 13From: A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation Delay versus Mean Message Size (message generation rate 150 msgs/s and mean number of neighbors 50). Back to article page