Verification and Validation of the Performance of WSN.
Seongeun YooPohkit ChongSeong Hoon KimMinh-Long PhamPublished in: Int. J. Distributed Sens. Networks (2015)
Keyphrases
- wireless sensor networks
- energy efficient
- model checking
- data aggregation
- face verification
- energy consumption
- verification method
- resource constrained
- low cost
- routing protocol
- resource limitations
- model validation
- monitoring system
- sensor networks
- databases
- database
- formal methods
- face recognition
- case study
- formal verification
- asynchronous circuits
- e learning
- real time