Approximate Safety Properties in Metric Transition Systems
['Junyan Qian', 'Fan Shi', 'Yong Cai', 'Haiyu Pan']
/
IEEE Transactions on Reliability
/ Vol. 71
/ No. 1
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？