Login / Signup

Modelling and verifying the AODV routing protocol.

Rob J. van GlabbeekPeter HöfnerMarius PortmannWee 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