검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
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 |
| No. | Article |
|---|---|
| 1 |
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 |