PABLO
CERRO CAÑIZARES
Investigador contratado
University of Sheffield
Sheffield, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Sheffield (1)
2021
-
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284