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