Adisak Intana

According to our database¹, Adisak Intana authored at least 3 papers between 2013 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2013

Adding value to WSN simulation through formal modelling and analysis.

[BibT_eX]

[DOI]

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