Showing results 11 to 13 of 13
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
원자력 발전소의 디지털 온라인 능동 시험 발전소 보호시스템 및 그 방법 성풍현; 손한성; 구서룡, 2003-09-17 |
원전 계측제어계통 소프트웨어 확인검증을 위한 지능형 통합환경 설계 구서룡; 손한성; 성풍현, 한국원자력학회 2001 춘계학술발표회, 한국원자력학회, 2001-05 |
Discover