Formal Validation of a Deterministic MAC Protocol.
Karen Godary-DejeanDavid AndreuPublished in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
- mac protocol
- ad hoc networks
- multi channel
- wireless sensor networks
- underwater acoustic
- energy efficient
- comprehensive analysis
- energy efficiency
- energy consumption
- medium access control
- wireless ad hoc networks
- mac layer
- cellular networks
- wireless channels
- physical layer
- end to end
- mobile nodes
- network topology
- routing algorithm
- multimedia
- wireless networks
- peer to peer