Sign in

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

Alberto NúñezPablo C. CañizaresManuel NúñezRobert M. Hierons
Published in: IEEE Trans. Reliab. (2021)
Keyphrases
  • computing systems
  • computing platform
  • cloud computing
  • computer systems
  • computing technologies
  • computing infrastructure
  • artificial intelligence
  • data analysis
  • high performance computing