국제학회
Modeling and Verification of Control Logics in Safety Instrumented System for Chemical Industrial Processes
Jinkyung Kim, Younghee Lee and Il Moon, "Modeling and Verification of Control Logics in Safety Instrumented System for Chemical Industrial Processes," ESCAPE-17, Bucharest, Romania, May 27-30, 2007.
