University of Sheffield-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2021

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

    IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284