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]

Authors

Adisak Intana

This author has not been identified. Look up 'Adisak Intana' in Google

Michael Poppleton

This author has not been identified. Look up 'Michael Poppleton' in Google

Geoff V. Merrett

This author has not been identified. Look up 'Geoff V. Merrett' in Google