Formal passive testing of timed systems: Theory and tools
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
ISSN: 0960-0833, 1099-1689
Datum der Publikation: 2012
Ausgabe: 22
Nummer: 6
Seiten: 365-405
Art: Artikel
ISSN: 0960-0833, 1099-1689
Datum der Publikation: 2012
Ausgabe: 22
Nummer: 6
Seiten: 365-405
Art: Artikel