Verification and Validation of the Performance of WSN.

Seongeun Yoo Pohkit Chong Seong Hoon Kim Minh-Long Pham

Published 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