Browse "NE-Conference Papers(학술회의논문)" by Author Koh, K.Y.

Showing results 1 to 3 of 3

1
Fault tree-based software safety analysis of function block diagrams

Koh, K.Y.; Seong, Poong-Hyun, ISSNP 2007, 2007-07

2
SMV model-based safety analysis of software requirements

Koh, K.Y.; Seong, Poong-Hyun, 2006 Annual Meeting - American Nuclear Society, pp.189 - 190, 2006-06-04

3
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

rss_1.0 rss_2.0 atom_1.0