INTERNATIONAL PROCEEDINGS
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.
Tag: Formal Methods , Co-simulation , wireless sensor networks , Software Testing , Software Verification and Validation , SimulationINTERNATIONAL 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.
Tag: Formal Modelling and Analysis , Formal Methods , Wireless Sensor Networks , Co-simulationSearch
| Detail | Category | Owner |
|---|