A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation.
Mohamed Salah BouassidaMohamed ShawkyPublished in: EURASIP J. Wirel. Commun. Netw. (2010)
Keyphrases
- formal verification
- congestion control
- cooperative
- end to end
- model checking
- window size
- bounded model checking
- packet loss
- model checker
- symbolic model checking
- quality of service
- congestion avoidance
- automated verification
- transmission rate
- rate control
- network bandwidth
- temporal logic
- multi agent systems
- active queue management
- data sets
- formal methods
- optical flow
- high quality