Showing results 73361 to 73380 of 109422
Safety Analysis of Compacted Spent Fuel with Natural Convection Flow Lee, Kun Jai, ENS/ANS Transactions (ENC 86), pp.741 - 746, 1986 |
Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models Song, H.; Kim, Tag-Gon, AsiaSim 2012, Part I, Communications in Computer and Information Science, pp.480 - 489, AsiaSim, 2012-10 |
Safety analysis of safety-critical software for nuclear digital protection system Park G.-Y.; Lee J.-S.; Cheon S.-W.; Kwon K.-C.; Jee, Eunk Young; Koh K.Y., 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007, v.4680, pp.148 - 161, 2007-09-18 |
Safety Analysis of VHTRs with MED Desalination Plants No Hee Cheon; Kim, Ho Sik; Jin, Hyung Gon, American Nuclear Society, 2010-06 |
Safety Analysis of VHTRs with MED Desalination Plants No, Hee Cheon; Kim, Ho Sik; Jin, Hyung Gon, American Nuclear Society, v.104, 2011-06 |
Safety Analysis Using Coloured Petri Nets 차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995 |
Safety Analysis Using Coloured Petri Nets Cho, Seung Mo; Hong, Hyoung Seok; Cha, Sungdeok, Asia-Pacific Software Engineering Conference, pp.176 - 183, IEEE, 1996-12-04 |
Safety and Control Standards for Hydrogen Ships: Cargo Handling and Fuel Gas Supply Systems Jung, Wongwan; Chang, Daejun, UT-SJTU-KAIST Joint symposium, Korea Advanced Institute of Science and Technology, 2020-10-30 |
Safety and reliability verification process of coil module in wireless power transfer system using circuit level sensitivity simulation Kim, Jonghoon; Kim, Jonghoon J; Kim, Hongseok; Song, Chiuk; Song, Jinwook; Cho, Yeonje; Kim, Sukjin; et al, IEEE Electrical Design of Advanced Packaging and Systems Symposium, IEEE EDAPS 2015, pp.144 - 147, Institute of Electrical and Electronics Engineers Inc., 2015-12 |
Safety Assessment and Public Acceptance of Nuclear in Korea Kang, Hyun Gook, IYNC 2002, 2002 |
Safety Assessment on Vitrification Facility of Low- and Intermediate-Level Radioactive Wastes Heo, GY; Lee, SJ; Ji, PG; Maeng, SJ; Park, JG; Shin, SU; Chang, Soon-Heung, 한국원자력학회 2002년도 춘계공동학술발표회, 한국원자력학회, 2002 |
Safety Improvement with Er Burnable Absorber in CANDU Reactor Loaded with Recovered Uranium Fuel MOHAMMAD ABDUL; Kim, Yonghee; Kim, Woosong, International Workshop on PHWR Challenging Issue for Safe Operation and Long-term Sustainability (CANSAS), International Workshop on PHWR Challenging Issue for Safe Operation and Long-term Sustainability (CANSAS), 2016-10-12 |
SAFETY INJECTION TANK PERFORMANCE ANALYSIS USING CFD Cho, Jai Oan; Addad, Yacine; Lee, Jeong-Ik; Nietiadi, Yohanes Setiawan; Bang, Young Seok; Yoo, Seung Hun, The Korean Nuclear Society Autumn Meeting, The Korean Nuclear Society, 2016-10-27 |
Safety of Silicon Carbide Cladding for Fail-Safe Simple Economical SMR (FASES) No, Hee-Cheon; Lee, Youho; Kim, Ho Sik, ANS2014, ANS2014, 2014-06-19 |
Safety Prediction for Basic Components of Safety-Critical Software Based on Static Testing Son, Han Seong; Seong, Poong-Hyun, International Youth Nuclear Congress 2000, 2000-04 |
Safety Verification in Murphy using Fault Tree Analysis Cha, Sungdeok, 10th International Conference on Software Engineering, 1988 |
Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
Safety, Risk, Culture and Public Acceptance of Nuclear in Korea Kang, Hyun Gook, East-west Youth Cooperation Seminar, 2001 |
Safety-critical Software Requirements Checking Using PVS. 차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997 |
Safety-ensuring systematic design for service robots Pyung-Hun Chang, The 6th International Conference on Smart Homes and Health Telematics(ICOST), pp.208 - 217, 123, 2008-06-29 |
Discover