Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author Koh, K.Y.
Showing results 1 to 5 of 5
| Fault tree-based software safety analysis of function block diagrams Koh, K.Y.; Seong, Poong-Hyun, ISSNP 2007, 2007-07 |
| Fault tree-based software safety analysis of function block diagrams Koh, K.Y.; Seong, Poong-Hyun; Park, G.Y.; Kwon, K.-C., TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.96, no.0, pp.235 - 236, 2007 |
| Safety activities on safety-critical software for reactor protection system Park, G.-Y.; Kwon, K.C.; Jee, E.; Koh, K.Y.; Seong, Poong-Hyun, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.96, no.0, pp.237 - 238, 2007 |
| 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 |
| 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 |
Discover
Type
- 2,799 Article
- 5,616 Conference
- 430 Patent
- 932 Thesis(Master)
- 564 Thesis(Ph.D)
Open Access
- 152 OA Article
Date issued
- 1,272 2020 - 2024
- 4,359 2010 - 2019
- 2,657 2000 - 2009
- 1,431 1990 - 1999
- 449 1980 - 1989