Search Tags
| Detail | Category | Owner | SortKey |
|---|---|---|---|
|
A. Intana, "A Pattern-Based Formal Modelling Framework for Wireless Sensor Networks," in Proc.The 17th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology 2020(ECTI-CON2020), Phuket, Thailand, 2020, pp. 63-66, doi: 10.1109/ECTI-CON49241.2020.9158327. Tag: pattern-based formal modelling framework, wireless sensor networks, formal modelling patterns |
International Proceedings | ADISAK INTANA | 202006 |
|
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, Simulation |
International Proceedings | ADISAK INTANA | 201504 |
|
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-simulation |
International Journal Articles | ADISAK INTANA | 201405 |
|
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. Tag: Formal Methods, wireless sensor networks, Software Verification and Validation |
International Proceedings | ADISAK INTANA | 201305 |