Search Tags
Search Filter
Active filters:
Tag: Formal Methods
Year: 2013
1
Total
1
International Proceedings
| Detail | Category | Owner | SortKey |
|---|---|---|---|
|
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 |