Wireless Sensor Networks for the Surveillance of Wide Date Palm Forests: (Specification and Verification Levels).
Laïd KahloulPublished in: FNC/MobiSPC (2015)
Keyphrases
- wireless sensor networks
- formal verification
- asynchronous circuits
- model checking
- energy efficient
- wireless sensor nodes
- formal methods
- real time
- sensor networks
- data aggregation
- energy consumption
- energy efficiency
- protocol specification
- environmental monitoring
- multi hop
- surveillance system
- sensor nodes
- high level
- data transmission
- formal specification
- specification language
- routing protocol
- concurrent systems
- data sets
- random forests
- routing algorithm
- resource constrained
- quality of service
- wide range
- energy aware
- neural network