Testing timed systems modeled by Stream X-machines
- Merayo, M.G.
- Núñez, M.
- Hierons, R.M.
ISSN: 1619-1366, 1619-1374
Any de publicació: 2011
Volum: 10
Número: 2
Pàgines: 201-217
Tipus: Article
ISSN: 1619-1366, 1619-1374
Any de publicació: 2011
Volum: 10
Número: 2
Pàgines: 201-217
Tipus: Article