Showing results 3 to 4 of 4
Software safety analysis of digital protection system requirements using a qualitative formal method Lee J.-S.; Kwon K.-C.; Cha, Sungdeok, NUCLEAR TECHNOLOGY, v.147, no.2, pp.227 - 239, 2004 |
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
Discover