Logo image
Open Research University homepage
Surrey researchers Sign in
Using Formal Verification Methods and Tools for Protocol Profiling and Performance Assessment in Mobile and Wireless Environments
Conference presentation

Using Formal Verification Methods and Tools for Protocol Profiling and Performance Assessment in Mobile and Wireless Environments

S Georgoulas, K Moessner, B Mcaleer and R Tafazolli
2010 IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications, pp.2471-2476
PIMRC 2010 (Istanbul, Turkey, 26/09/2010–30/09/2010)
2010

Abstract

Metrics

Details

Logo image

Usage Policy