| 번호 | 제목 |
|---|---|
| 2 |
이산사건 정보를 이용한 LNG FPSO Topside 액화 공정의 안전성 분석 이종호, 박소희, 주동환, 김진경 한국화학공학회 2013년 가을 학술대회 |
| 1 |
Model Checking for Automatic Verification of Safety Instrumented System in Chemical Process Industry 김진경, 이영희, 권혁면, 문 일 한국화학공학회 2008년 봄 학술대회 |
| 번호 | 제목 |
|---|---|
| 2 |
이산사건 정보를 이용한 LNG FPSO Topside 액화 공정의 안전성 분석 이종호, 박소희, 주동환, 김진경 한국화학공학회 2013년 가을 학술대회 |
| 1 |
Model Checking for Automatic Verification of Safety Instrumented System in Chemical Process Industry 김진경, 이영희, 권혁면, 문 일 한국화학공학회 2008년 봄 학술대회 |