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
Año de publicación: 2021
Volumen: 70
Número: 1
Páginas: 261-284
Tipo: Artículo
Revista:
IEEE Transactions on Reliability