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

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

ISSN: 1558-1721,  0018-9529

Year of publication: 2021

Volume: 70

Issue: 1

Pages: 261-284

Type: Article

DOI: 10.1109/TR.2020.3011512 GOOGLE SCHOLAR
Data source: Scopus