Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification.

Savas Konur Michael Fisher

Published in: VTC Spring (2011)

Keyphrases

formal analysis
congestion control
end to end
ban logic
formal methods
packet loss
window size
quality of service
rate control
vehicular ad hoc networks
agent model
transport protocol
network bandwidth
network congestion
artificial intelligence
wireless link