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
Ano de publicación: 2021
Volume: 70
Número: 1
Páxinas: 261-284
Tipo: Artigo
ISSN: 1558-1721, 0018-9529
Ano de publicación: 2021
Volume: 70
Número: 1
Páxinas: 261-284
Tipo: Artigo