Formal passive testing of timed systems: Theory and tools
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
ISSN: 0960-0833, 1099-1689
Année de publication: 2012
Volumen: 22
Número: 6
Pages: 365-405
Type: Article
Revue:
Software Testing Verification and Reliability