검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
Automatic verification of operating schedules for batch processes using symbolic model checking: Latch model vs. real-time Kim J, Moon I Korean Journal of Chemical Engineering, 27(6), 1654, 2010 |
| 2 |
Error-free scheduling for batch processes using symbolic model verifier Kim J, Kim J, Moon I Journal of Loss Prevention in The Process Industries, 22(4), 367, 2009 |
| 3 |
Wastewater dye destruction using ozone-loaded Volasil (TM) 245 in a continuous flow liquid-liquid/ozone system Ward DB, Tizaoui C, Slater MJ Chemical Engineering and Processing, 45(2), 124, 2006 |
| 4 |
SMV를 이용한 보일러 공정 운전 절차의 안전성 검색 이승훈, 김진경, 문일 HWAHAK KONGHAK, 37(5), 679, 1999 |