국제학회
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," 12th International Symposium Loss Prevention and Safety Promotion in the Process Industries, Edinburgh, Scotland, May 22-24, 2007.
