Formal passive testing of timed systems: Theory and tools

  1. Andrés, C.
  2. Merayo, M.G.
  3. Núñez, M.
Zeitschrift:
Software Testing Verification and Reliability

ISSN: 0960-0833,  1099-1689

Datum der Publikation: 2012

Ausgabe: 22

Nummer: 6

Seiten: 365-405

Art: Artikel

DOI: 10.1002/STVR.1464 GOOGLE SCHOLAR
Datenquelle: Scopus