Login / Signup

Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs.

Youcef HammalManel SeddikiMahfoud BenchaïbaAbdelkrim Abdelli
Published in: WCNC (2017)
Keyphrases
  • formal specification
  • cross layer
  • mobile ad hoc networks
  • peer to peer
  • routing protocol
  • wireless networks
  • application layer
  • model checking
  • transport layer
  • web services
  • building blocks
  • multi layer
  • link layer