Verification of Directed Acyclic Ad Hoc Networks.
Parosh Aziz AbdullaMohamed Faouzi AtigOthmane RezinePublished in: FMOODS/FORTE (2013)
Keyphrases
- ad hoc networks
- directed acyclic
- graphical models
- network topology
- routing protocol
- graph structure
- end to end
- routing algorithm
- wireless networks
- bayesian networks
- wireless ad hoc networks
- quality of service
- mac protocol
- key management
- base station
- mobile networks
- mobile wireless
- peer to peer
- mobile ad hoc networks
- suffix tree
- end to end delay
- multi hop
- wired networks
- data structure
- network infrastructure
- qos routing
- wireless mesh networks
- energy consumption
- propagation model
- mobile nodes
- network nodes
- energy efficient
- wireless sensor networks
- packet delivery