An Automatic Approach to Verify Sensor Network Systems.
Man Chun ZhengPublished in: SSIRI (Companion) (2010)
Keyphrases
- sensor networks
- sensor data
- wireless sensor networks
- data collection
- communication cost
- resource constrained
- energy consumption
- underwater acoustic
- data streams
- environmental monitoring
- mobile sensor networks
- energy efficient
- base station
- sensor nodes
- data dissemination
- network connectivity
- sensing devices
- energy efficiency
- computer systems
- distributed systems
- data gathering
- computational complexity
- data sets
- real time