Improving the Dependability of Self-Adaptive Cyber Physical System With Formal Compositional Contract
['Peng Zhou', 'Decheng Zuo', 'Kunmean Hou', 'Zhan Zhang', 'Jian Dong']
/
IEEE Transactions on Reliability
/ Vol. 69
/ No. 3
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？