국제학회
Automatic Verification of Control Logics in Safety Instrumented System Design for Chemical Process Industry
Jinkyung Kim and Il Moon, “Automatic Verification of Control Logics in Safety Instrumented System Design for Chemical Process Industry," WCOGI 2007, Gyeongju, Korea, Apr. 10-13, 2007.
