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

Ano de publicación: 2009

Páxinas: 67-76

Tipo: Achega congreso

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