| 번호 | 제목 |
|---|---|
| 3 |
논리 검증법을 이용한 보일러 운전 절차의 안전성 검색(96)|Verification of the Safety of Boiler Operating Procedures using a Symbolic Model Verifier 고세준, 문일|Sejune Goh, Il Moon 한국화학공학회 1996년 가을 학술대회 |
| 2 |
가압유동층에서 조작변수가 온도분포 및 열전달에 미치는 영향|Effects of Operating Variables on the Temperature Distribution and Heat Transfer in a Pressurized Fluidized Bed 김영렬, 고명한, 강용, 서용칠, *진경태, **손재익, ***김상돈|Y.R.Kim, M.H.Ko, Y.Kang, Y.C.Seo*, G.T.Jin**, J.E.Son**, S.D.Kim*** 한국화학공학회 1996년 가을 학술대회 |
| 1 |
논리 검증법을 이용한 보일러 운전 절차의 안전성 검색(안전)|Verification of the Safety of Boiler Operating Procedures using a Symbolic Model Verifier 고세준, 문일|Sejune Goh, Il Moon 한국화학공학회 1996년 가을 학술대회 |
