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

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

ISSN: 1558-1721,  0018-9529

Argitalpen urtea: 2021

Alea: 70

Zenbakia: 1

Orrialdeak: 261-284

Mota: Artikulua

DOI: 10.1109/TR.2020.3011512 GOOGLE SCHOLAR
Datuen iturria: Scopus