Showing results 1 to 4 of 4
(An) integrated environment of software development and V&V for PLC based safety-critical systems = PLC기반 필수안전시스템을 위한 소프트웨어 개발 및 확인검증 통합환경에 관한 연구link Koo, Seo-Ryong; 구서룡; et al, 한국과학기술원, 2005 |
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