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
Year of publication: 2015
Volume: 70
Issue: 3-4
Pages: 85-93
Type: Article
ISSN: 1958-9395, 0003-4347
Year of publication: 2015
Volume: 70
Issue: 3-4
Pages: 85-93
Type: Article