Formal passive testing of timed systems: Theory and tools
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
ISSN: 0960-0833, 1099-1689
Any de publicació: 2012
Volum: 22
Número: 6
Pàgines: 365-405
Tipus: Article
Revista:
Software Testing Verification and Reliability