Search Tags

International Proceedings
ADISAK  INTANA

A. Intana, M. R. Poppleton and G. V. Merrett, "Adding value to WSN simulation through formal modelling and analysis," 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA), San Francisco, CA, USA, 2013, pp. 24-29, doi: 10.1109/SESENA.2013.6612261.

Link:    Month/Year: 5/2013   

Tag: Formal Methods ,   wireless sensor networks ,   Software Verification and Validation   

ADISAK  INTANA

A. Intana, M. R. Poppleton, and G. V. Merrett. “A model-based trace testing approach for validation of formal co-simulation models,” In Proc. The Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (DEVS '15). Society for Computer Simulation International, San Diego, CA, USA, 2015, pp.181–188.

Link:    Month/Year: 4/2015   

Tag: Formal Methods ,   Co-simulation ,   wireless sensor networks ,   Software Testing ,   Software Verification and Validation ,   Simulation   

International Journal Articles
ADISAK  INTANA

A. Intana, M. R. Poppleton, G. V. Merrett, “A formal co-simulation approach for wireless sensor network development”. Electronic Communications of the EASST, vol. 70, pp.1-15, 2014.

Link:    Month/Year: 5/2014

Tag: Formal Modelling and Analysis ,   Formal Methods ,   Wireless Sensor Networks ,   Co-simulation