Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol.
Xin HeRam KumarLiping MuTerje GjøsæterFrank Y. LiPublished in: Comput. Stand. Interfaces (2012)
Keyphrases
- formal verification
- mac protocol
- model checking
- ad hoc networks
- underwater acoustic
- multi channel
- energy efficient
- wireless sensor networks
- wireless ad hoc networks
- comprehensive analysis
- multi agent systems
- medium access control
- network topology
- routing algorithm
- collision avoidance
- wireless networks
- motion estimation