Login / Signup

Using formal verification methods and tools for protocol profiling and performance assessment in mobile and wireless environments.

Stylianos GeorgoulasKlaus MoessnerBruce McaleerRahim Tafazolli
Published in: PIMRC (2010)
Keyphrases
  • formal verification
  • portable devices
  • mobile devices
  • mobile phone
  • wireless networks
  • ad hoc networks
  • mobile nodes
  • model checker
  • coloured petri nets