Showing results 8 to 11 of 11
Safety analysis of 250-kW philippine research reactor-1 thermal-hydraulics under steady-state operations using MARS-KS code Jecong, J.F.M.; Astronomo, A.A.; Hila, F.C.; Guillermo, N.R.D.; Woo, S.W., Philippine Journal of Science, v.150, no.2, pp.407 - 415, 2021 |
Safety evaluation of supercritical CO2 cooled micro modular reactor Oh, Bong Seong; Ahn, Yoon Han; Yu, Hwanyeal; Moon, Jangsik; Kim, Seong Gu; Cho, Seong Kuk; Kim, Yonghee; et al, ANNALS OF NUCLEAR ENERGY, v.110, pp.1202 - 1216, 2017-12 |
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 |
Statecharts 명세의 역방향 안전성 분석 = Backward safety analysis for statecharts specificationslink 장준보; Jang, Joon-Bo; et al, 한국과학기술원, 1999 |
Discover