Formal passive testing of timed systems: Theory and tools
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
ISSN: 0960-0833, 1099-1689
Año de publicación: 2012
Volumen: 22
Número: 6
Páginas: 365-405
Tipo: Artículo
ISSN: 0960-0833, 1099-1689
Año de publicación: 2012
Volumen: 22
Número: 6
Páginas: 365-405
Tipo: Artículo