Parameterized Verification of Ad Hoc Networks.
Giorgio DelzannoArnaud SangnierGianluigi ZavattaroPublished in: CONCUR (2010)
Keyphrases
- ad hoc networks
- routing protocol
- network topology
- end to end
- routing algorithm
- wireless networks
- wireless ad hoc networks
- peer to peer
- quality of service
- mobile wireless
- key management
- multi hop
- limited bandwidth
- mobile networks
- mobile ad hoc networks
- end to end delay
- mac protocol
- routing scheme
- base station
- neighboring nodes
- qos routing
- wired networks
- multipath routing
- multimedia
- service differentiation
- network infrastructure
- mobile nodes
- data transmission
- topology control
- network nodes
- wireless mesh networks
- multipath
- wireless communication