Architecture assessment for safety critical plant operation using reachability analysis of timed automata
['David Gouyon', 'Jean-François Pétin', 'Thomas Cochard', 'Catherine Devic']
/
Reliability Engineering & System Safety
/ Vol. 199
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？