| 번호 | 제목 |
|---|---|
| 5 |
SMV를 이용한 회분공정 생산일정의 안전성 평가|Verification of the Safety of the Batch Process Schedules 이한용, 김진경, 윤형준, 문일|Hanyong Lee, Jinkyoung Kim, Hyungjoon Yoon, Il Moon 한국화학공학회 1999년 봄 학술대회 |
| 4 |
공정 안전 검색을 위한 반증예제 생성 알고리듬|Witness Generation Algorithm for the Verification of Chemical Process Safety 고세준, 문일|SeJun Goh, Il Moon 한국화학공학회 1997년 봄 학술대회 |
| 3 |
제올라이트 4A pellet에서의 질소기체 확산에 대한 새로운 모델식과 실험적 검증|A new mathematical model and its experimental verification for nitrogen diffusion in zeolite 4A pellet 임미숙, 김동현|Mi Sook Lim, Dong Hyun Kim 한국화학공학회 1997년 봄 학술대회 |
| 2 |
논리 검증법을 이용한 보일러 운전 절차의 안전성 검색(96)|Verification of the Safety of Boiler Operating Procedures using a Symbolic Model Verifier 고세준, 문일|Sejune Goh, Il Moon 한국화학공학회 1996년 가을 학술대회 |
| 1 |
논리 검증법을 이용한 보일러 운전 절차의 안전성 검색(안전)|Verification of the Safety of Boiler Operating Procedures using a Symbolic Model Verifier 고세준, 문일|Sejune Goh, Il Moon 한국화학공학회 1996년 가을 학술대회 |
