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

Stylianos Georgoulas, Klaus Moessner, Bruce Mcaleer, Rahim Tafazolli

Browse the full PIMRC paper archive.