Applied Formal Methods in Wireless Sensor Networks
Frank M. Werner · Repository KITopen (Karlsruhe Institute of Technology) · 2009
This work covers the application of formal methods to the world of wireless sensor networks. Mainly two different perspectives are analyzed through mathematical models which can be distinct for example into qualitative statements like "Is the system error free?" From the perspective of quantitative propositions we investigate protocol optimal parameter settings for an energy efficient operation.