A survey on formal active and passive testing with applications to the cloud
- Cavalli, A.R.
- Higashino, T.
- Núñez, M.
ISSN: 1958-9395, 0003-4347
Datum der Publikation: 2015
Ausgabe: 70
Nummer: 3-4
Seiten: 85-93
Art: Artikel
ISSN: 1958-9395, 0003-4347
Datum der Publikation: 2015
Ausgabe: 70
Nummer: 3-4
Seiten: 85-93
Art: Artikel