Login / Signup

Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B.

Chunyan FuKougen Zheng
Published in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
  • routing protocol
  • wireless sensor networks
  • ad hoc networks
  • mobile ad hoc networks
  • sensor networks
  • routing algorithm
  • network topology
  • data transmission