Formal Verification of a MAC Protocol for Underwater Sensor Networks.
N. Suresh KumarG. Santhosh KumarShailesh SivanA. SreekumarPublished in: IEEE Access (2023)
Keyphrases
- formal verification
- sensor networks
- underwater acoustic
- mac protocol
- wireless sensor networks
- energy efficient
- energy efficiency
- model checking
- energy consumption
- mobile nodes
- sensor data
- data collection
- ad hoc networks
- sensor nodes
- data streams
- multi channel
- base station
- comprehensive analysis
- resource constrained
- routing protocol
- peer to peer
- multi hop
- cellular networks
- routing algorithm
- real time