Towards the Formal Performance Analysis of Wireless Sensor Networks.
Maissa ElleuchOsman HasanSofiène TaharMohamed AbidPublished in: WETICE (2013)
Keyphrases
- wireless sensor networks
- energy efficient
- sensor networks
- base station
- data aggregation
- routing algorithm
- environmental monitoring
- energy efficiency
- energy consumption
- routing protocol
- sensor nodes
- data transmission
- formal model
- wireless communication
- neural network
- case study
- multi hop
- knowledge base
- data collection
- response time
- data streams
- formal specification
- formal methods
- key management
- artificial intelligence