국제학회
Automatic Verification of Control Logics in Safety Instrumented System for Chemical Industrial Processes
Jinkyung Kim, Younghee Lee and Il Moon, "Automatic Verification of Control Logics in Safety Instrumented System for Chemical Industrial Processes," 2006 AIChE Annual meeting, San Francisco, California, USA, Nov. 12-17, 2006.
