A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability
['Jin Cui', 'Zhenhua Duan', 'Cong Tian', 'Hongwei Du']
/
IEEE Transactions on Reliability
/ Vol. 67
/ No. 2
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？