국내학회
Model Checking for Automatic Verification of Safety Instrumented System in Chemical Process Industry
김진경, 이영희, 문일, 권혁면, “Model Checking for Automatic Verification of Safety Instrumented System in Chemical Process Industry”, 2008년 봄 학술대회, 제주 ICC, 한국화학공학회, 4.25, 2008.
