![](/img/cover-not-exists.png)
[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Testing times: on model-driven test generation for non-deterministic real-time systems
Brinksma, E.Year:
2004
Language:
english
DOI:
10.1109/csd.2004.1309110
File:
PDF, 216 KB
english, 2004