Performance Analysis and Formal Verification of Cognitive Wireless Networks.
Gian-Luca Dei RossiLucia GallinaSabina RossiPublished in: EPEW (2013)
Keyphrases
- wireless networks
- formal verification
- model checking
- cognitive radio
- wireless communication
- model checker
- automated verification
- bounded model checking
- base station
- mobile computing
- ad hoc networks
- wifi
- mobile wireless
- cellular networks
- symbolic model checking
- wireless networking
- low bandwidth
- multimedia services
- wireless transmission
- multi hop
- access points
- wired networks
- wireless technologies
- mobile networks
- temporal logic
- cross layer
- wireless ad hoc networks