Application of temporal logic for safety supervisory control and model-based hazard monitoring
['Francesca M. Favarò', 'Joseph H. Saleh']
/
Reliability Engineering & System Safety
/ Vol. 169
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？