Adisak Intana

According to our database, Adisak Intana authored at least 4 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An NLP-Based Approach for Detecting Ambiguity of Thai Software Requirements Specification.

Adisak Intana, Kanjana Laosen, Panya Nuanchan, Nattapong Pattanakit, Sathani Dermchai

Proceedings of the 21st International Joint Conference on Computer Science and Software Engineering, 2024

2015

A model-based trace testing approach for validation of formal co-simulation models.

Adisak Intana, Michael R. Poppleton, Geoff V. Merrett

Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

2014

A Formal Co-Simulation Approach for Wireless Sensor Network Development.

Adisak Intana, Michael R. Poppleton, Geoff V. Merrett

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

2013

Adding value to WSN simulation through formal modelling and analysis.

Adisak Intana, Michael R. Poppleton, Geoff V. Merrett

Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013