TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
['Alberto Núñez', 'Pablo C. Cañizares', 'Manuel Núñez', 'Robert M. Hierons']
/
IEEE Transactions on Reliability
/ Vol. 70
/ No. 1
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？