Login / Signup
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
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