![](/img/cover-not-exists.png)
Formal passive testing of timed systems: theory and tools
César Andrés, Mercedes G. Merayo, Manuel NúñezVolume:
22
Year:
2012
Language:
english
Pages:
1
DOI:
10.1002/stvr.1464
File:
PDF, 3.22 MB
english, 2012