검색결과 : 3건
| No. | Article |
|---|---|
| 1 |
Codiagnosability Analysis of Bounded Petri Nets Ran N, Su HY, Giua A, Seatzu C IEEE Transactions on Automatic Control, 63(4), 1192, 2018 |
| 2 |
Synthesis of safe operating procedure for multi-purpose batch processes using SMV Kim J, Moon I Computers & Chemical Engineering, 24(2-7), 385, 2000 |
| 3 |
회분공정의 안전성 평가를 위한 모델 검증 기법의 적용 이한용, 김진경, 문일 HWAHAK KONGHAK, 37(6), 870, 1999 |