TY  - JOUR

T1  - TEA-Cloud: A formal framework for testing cloud computing system

JO  - IEEE Transactions on Reliability

UR  - https://eprints.whiterose.ac.uk/163550/

PY  - 2021/03/01

AU  - Nunez A

AU  - Canizares P

AU  - Nunez M

AU  - Hierons R

ED  - 

DO  - DOI: 10.1109/TR.2020.3011512

PB  - Institute of Electrical and Electronics Engineers

VL  - 70

IS  - 1

SP  - 261

EP  - 284

Y2  - 2024/12/22

ER  -