Login / Signup

Formal Analysis of AODV Using Rely-Guarantee.

Xiaofeng WuQiwen XuHuibiao Zhu
Published in: TASE (2013)
Keyphrases
  • formal analysis
  • routing protocol
  • ad hoc networks
  • agent model
  • formal methods
  • wireless ad hoc networks
  • database
  • mobile ad hoc networks
  • power management
  • routing algorithm
  • network topology
  • ban logic