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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.