TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
- Nunez, A.
- Canizares, P.C.
- Nunez, M.
- Hierons, R.M.
ISSN: 1558-1721, 0018-9529
Année de publication: 2021
Volumen: 70
Número: 1
Pages: 261-284
Type: Article
ISSN: 1558-1721, 0018-9529
Année de publication: 2021
Volumen: 70
Número: 1
Pages: 261-284
Type: Article