Formal correctness of a passive testing approach for timed systems

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

ISBN: 9780769536712

Année de publication: 2009

Pages: 67-76

Type: Communication dans un congrès

DOI: 10.1109/ICSTW.2009.34 GOOGLE SCHOLAR
La source de données: Scopus