| 번호 | 제목 |
|---|---|
| 5 |
천연가스 연소 배기가스 중 질소산화물 제거 연구 및 처리공정의 모델링 손정은, 양희천, 김건중, 황성원 한국공업화학회 2016년 가을 학술대회 |
| 4 |
SMV를 이용한 불확실성을 가진 생산 일정 계획의 안전성 검색 박미진, 김진경, 문 일 한국화학공학회 2003년 가을 학술대회 |
| 3 |
SMV를 이용한 회분공정 생산일정의 안전성 평가|Verification of the Safety of the Batch Process Schedules 이한용, 김진경, 윤형준, 문일|Hanyong Lee, Jinkyoung Kim, Hyungjoon Yoon, Il Moon 한국화학공학회 1999년 봄 학술대회 |
| 2 |
공정 안전 검색을 위한 반증예제 생성 알고리듬|Witness Generation Algorithm for the Verification of Chemical Process Safety 고세준, 문일|SeJun Goh, Il Moon 한국화학공학회 1997년 봄 학술대회 |
| 1 |
보일러 운전절차의 안전성 검색을 위한 SMV 모델 개발|Developement of SMV Models for the operating procedures 이승훈, 문일|Seunghoon Lee, Il Moon 한국화학공학회 1997년 봄 학술대회 |
