Adaptive Correctness Monitoring for Wireless Sensor Networks Using Hierarchical Distributed Run-Time Invariant Checking (2007)

by D Herbert, V Sundaram, Y-H Lu, S Bagchi, Z Li
Venue:ACM Trans. Autonomous and Adaptive Systems