Verification of a wireless ATM medium-access protocol.
Natalia SidorovaMartin SteffenPublished in: APSEC (2000)
Keyphrases
- medium access
- data transmission
- multi hop
- ad hoc networks
- qos requirements
- quality of service
- wireless networks
- mobile nodes
- wireless sensor networks
- wireless ad hoc networks
- model checking
- computer networks
- end to end
- routing algorithm
- atm networks
- real time
- service differentiation
- routing protocol
- mobile ad hoc networks
- base station
- resource management
- energy consumption
- wireless channels
- management system
- communication networks
- data acquisition