On the Verification of Timed Ad Hoc Networks.
Parosh Aziz AbdullaGiorgio DelzannoOthmane RezineArnaud SangnierRiccardo TraversoPublished in: FORMATS (2011)
Keyphrases
- ad hoc networks
- network topology
- end to end
- wireless ad hoc networks
- routing algorithm
- routing protocol
- wireless networks
- quality of service
- peer to peer
- key management
- end to end delay
- mobile ad hoc networks
- colored petri nets
- base station
- model checking
- petri net
- mac protocol
- mobile networks
- multi hop
- limited bandwidth
- mobile nodes
- wireless mesh networks
- routing scheme
- wired networks
- network infrastructure
- mobile wireless
- digital libraries
- packet forwarding
- service differentiation
- sensor networks
- neighboring nodes
- energy efficiency