검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Verification of a Logically Controlled, Solids Transport-System Using Symbolic Model Checking Probst ST, Powers GJ, Long DE, Moon I Computers & Chemical Engineering, 21(4), 417, 1997 |
| 2 |
A Symbolic Model Verifier for Safe Chemical Process Sequential Control-Systems Moon I, Ko D, Probst ST, Powers G Journal of Chemical Engineering of Japan, 30(1), 13, 1997 |