Formal correctness of a passive testing approach for timed systems

  1. Andrés, C.
  2. Merayo, M.G.
  3. Núñez, M.
Actas:
IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

ISBN: 9780769536712

Año de publicación: 2009

Páginas: 67-76

Tipo: Aportación congreso

DOI: 10.1109/ICSTW.2009.34 GOOGLE SCHOLAR
Fuente de los datos: Scopus