Adding value to WSN simulation through formal modelling and analysis

Adisak Intana, Michael Poppleton, Geoff V. Merrett. Adding value to WSN simulation through formal modelling and analysis. In Christine Julien, Klaus Wehrle, editors, 4th International Workshop on Software Engineering for Sensor Network Applications, SESENA 2013, San Francisco, CA, USA, May 21, 2013. pages 24-29, IEEE, 2013. [doi]

Abstract

Abstract is missing.