Results 1-3 of 3 (Search time: 0.003 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
SACS2: A dynamic and formal approach to safety analysis for complex safety critical system Koh, Kwang Yong; Seong, Poong-Hyun, 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009, v.1, pp.298 - 311, 2009-04-05 | |
Software qualification activities for safety critical software Park, G.-Y.; Cheon, S.-W.; Kwon, K.-C.; Koh, K.Y.; Seong, Poong-Hyun; Jee, Eunk Young; Cha, S., 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009, v.1, pp.312 - 323, 2009-04-05 | |
A Quantitative Approach for Human Factors studies in Information Searching Tasks in Nuclear Power Plants Ha, Jun Su; Seong, Poong-Hyun, HCI 2009, 2009-07-20 |
Discover