Sign in

Modeling and analyzing mobile ad hoc networks in Real-Time Maude.

Si LiuPeter Csaba ÖlveczkyJosé Meseguer
Published in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
  • mobile ad hoc networks
  • real time
  • routing protocol
  • multipath
  • mobile networks
  • low cost
  • high speed
  • multiresolution
  • mobile devices
  • high frequency
  • highly dynamic
  • multi hop