Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.

Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang

Browse the full ICFEM paper archive.