Modelling and verifying the AODV routing protocol.

Rob J. van Glabbeek Peter Höfner Marius Portmann Wee Lum Tan

Published in: Distributed Comput. (2016)

Keyphrases

aodv routing protocol
message overhead
ad hoc networks
mobile ad hoc networks
wireless sensor networks
routing protocol
image analysis
change detection
network topology