Showing results 1 to 2 of 2
Fault tree analysis of KNICS RPS software Park, Gee-Yong; Koh, Kwang Yong; Jee, Eunkyoung; Seong, Poong-Hyun; Kwon, Kee-Choon; Lee, Dae Hyung, NUCLEAR ENGINEERING AND TECHNOLOGY, v.40, no.5, pp.397 - 408, 2008-08 |
SMV model-based safety analysis of software requirements Koh, Kwang Yong; Seong, Poong-Hyun, RELIABILITY ENGINEERING SYSTEM SAFETY, v.94, no.2, pp.320 - 331, 2009-02 |
Discover