Formal passive testing of timed systems: Theory and tools
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
ISSN: 0960-0833, 1099-1689
Ano de publicación: 2012
Volume: 22
Número: 6
Páxinas: 365-405
Tipo: Artigo
Revista:
Software Testing Verification and Reliability