A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems
['Sejin Jung', 'Junbeom Yoo', 'Young-Jun Lee']
/
Reliability Engineering & System Safety
/ Vol. 203
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？