![](/img/cover-not-exists.png)
Combining formal verification and conformance testing for validating reactive systems
Vlad RusuVolume:
13
Year:
2003
Language:
english
Pages:
24
DOI:
10.1002/stvr.274
File:
PDF, 296 KB
english, 2003