Testing timed systems modeled by Stream X-machines
- Merayo, M.G.
- Núñez, M.
- Hierons, R.M.
ISSN: 1619-1366, 1619-1374
Année de publication: 2011
Volumen: 10
Número: 2
Pages: 201-217
Type: Article
ISSN: 1619-1366, 1619-1374
Année de publication: 2011
Volumen: 10
Número: 2
Pages: 201-217
Type: Article