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
Datum der Publikation: 2021
Ausgabe: 70
Nummer: 1
Seiten: 261-284
Art: Artikel
Zeitschrift:
IEEE Transactions on Reliability