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
Année de publication: 2015
Volumen: 70
Número: 3-4
Pages: 85-93
Type: Article
ISSN: 1958-9395, 0003-4347
Année de publication: 2015
Volumen: 70
Número: 3-4
Pages: 85-93
Type: Article