Showing results 2 to 4 of 4
Formal Modeling and Verification of Safety-Critical Software Yoo J.; Jee, Eunk Young; Cha S., IEEE SOFTWARE, v.26, no.3, pp.42 - 49, 2009 |
Property-based theorem proving and template-based fault tree analysis of NuSCR requirements specification = NuSCR 요구 명세의 속성 기반 정리 증명과 템플릿 기반 고장 수목 분석link Kim, Tae-Ho; 김태호; et al, 한국과학기술원, 2005 |
V&V-based remaining fault estimation model for safety-critical software of a nuclear power plant Eom, Heung-seop; Park, Gee-yong; Jang, Seung-cheol; Son, Han Seong; Kang, Hyun Gook, ANNALS OF NUCLEAR ENERGY, v.51, pp.38 - 49, 2013-01 |
Discover