Formal Verification of a MAC Protocol for Underwater Sensor Networks
The use of Underwater Sensor Networks (UWSN) for underwater ocean applications such as seismic event detection, target detection, marine resource monitoring, and oil bed monitoring is growing. In contrast to conventional WSNs, these networks communicate via acoustic channels. Many communication prot...
| Published in: | IEEE Access |
|---|---|
| Main Authors: | , , , |
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2023-01-01
|
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10274980/ |