Model Checking Medium Access Control for Sensor Networks.
Paolo BallariniAlice MillerPublished in: ISoLA (2006)
Keyphrases
- model checking
- sensor networks
- medium access control
- mac protocol
- wireless sensor networks
- routing protocol
- energy efficient
- wireless communication
- wireless networks
- sensor nodes
- energy efficiency
- energy consumption
- sensor data
- wireless channels
- base station
- ad hoc networks
- multi hop
- cellular networks
- data streams
- formal methods
- data transmission
- resource constrained
- cross layer
- quality of service
- network topology
- routing algorithm
- wireless ad hoc networks
- mobile ad hoc networks
- network lifetime
- communication systems
- physical layer