Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems
['Radu Calinescu', 'Carlo Ghezzi', 'Kenneth Johnson', 'Mauro Pezzé', 'Yasmin Rafiq', 'Giordano Tamburrelli']
/
IEEE Transactions on Reliability
/ Vol. 65
/ No. 1
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？