SysML Model-Based Safety Analysis in Airborne System Design Using Formal Verification
['Da-Wei Cheng', 'Zhong Lu']
/
IEEE Transactions on Reliability
/ Vol. 75
/ No. 1
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？