번호 | 제목 |
---|---|
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년 가을 학술대회 |