Testing timed systems modeled by Stream X-machines
- Merayo, M.G.
- Núñez, M.
- Hierons, R.M.
ISSN: 1619-1366, 1619-1374
Año de publicación: 2011
Volumen: 10
Número: 2
Páginas: 201-217
Tipo: Artículo
Revista:
Software and Systems Modeling