![](/img/cover-not-exists.png)
[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Model Checking a TTCAN Implementation
Keating, Daniel, McInnes, Allan, Hayes, MichaelYear:
2011
Language:
english
DOI:
10.1109/icst.2011.47
File:
PDF, 413 KB
english, 2011