한국화학공학회 2008년 봄학술대회 : Model Checking for Automatic Verification of Safety Instrumented System in Chemical Process Industry

김진경¹, 이영희¹, 권혁면², 문 일¹ (¹연세대, ²산업안전관리공단)