TEPAWSN - A tool environment for Wireless Sensor Networks
Ka Lok Man, T. Vallee, H.L. Leung, Michele Mercaldi, J. van der Wulp, M. Donno, Milan Pastrnak · 2009
We strongly believe that Wireless Sensor Network (WSN) development must be supported from the design phase by formal methods to achieve strong results on correctness, performance, cost and efficiency. In this paper, we propose a tool environment called TEPAWSN for WSNs which will make a relevant contribution to the WSN research by facilitating the design and analysis of power aware WSNs.