TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

  1. Nunez, A.
  2. Canizares, P.C.
  3. Nunez, M.
  4. Hierons, R.M.
Revista:
IEEE Transactions on Reliability

ISSN: 1558-1721,  0018-9529

Any de publicació: 2021

Volum: 70

Número: 1

Pàgines: 261-284

Tipus: Article

DOI: 10.1109/TR.2020.3011512 GOOGLE SCHOLAR
Font de les dades: Scopus