Automatized Verification of Ad Hoc Routing Protocols.
Oskar WiblingJoachim ParrowArnold Neville PearsPublished in: FORTE (2004)
Keyphrases
- routing protocol
- ad hoc networks
- wireless sensor networks
- mobile ad hoc networks
- network topology
- routing algorithm
- energy aware
- energy efficiency
- sensor networks
- energy consumption
- data transmission
- energy efficient
- multi hop
- data delivery
- route selection
- wireless ad hoc networks
- end to end delay
- packet delivery
- multi path routing
- cross layer
- mobile nodes
- sensor nodes
- neighboring nodes
- routing scheme
- computer simulation
- biological inspired
- secure routing
- high performance computing
- end to end
- quality of service
- multipath routing
- multi dimensional
- routing overhead
- cooperative