Search Tags
Search Filter
Active filters:
Tag: Formal Modelling and Analysis
1
Total
1
International Journal Articles
| Detail | Category | Owner | SortKey |
|---|---|---|---|
|
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 |