Thomas C. Henderson. Verification and Validation of Sensor Networks. In Leonidas J. Guibas, Uwe D. Hanebeck, Thomas C. Henderson, editors, Form and Content in Sensor Networks, 18.09. - 23.09.2005. Volume 05381 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]
@inproceedings{Henderson05:4,
title = {Verification and Validation of Sensor Networks},
author = {Thomas C. Henderson},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/753},
tags = {C++},
researchr = {https://researchr.org/publication/Henderson05%3A4},
cites = {0},
citedby = {0},
booktitle = {Form and Content in Sensor Networks, 18.09. - 23.09.2005},
editor = {Leonidas J. Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
volume = {05381},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
}