DSpace at KOASAS
Browsing DSpace

Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Subject Safety analysis

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 7 of 7

1
(A) formal safety analysis for PLC software-based safety critical system using Z = Z언어를 이용한 PLC기반 안전필수 계통에 대한 정형적 안전성분석link

Koh, Jung-Soo; 고정수; et al, 한국과학기술원, 1997

2
Application of Wilks' formula and concept of State Change Time to integrated Deterministic and Probabilistic Safety Assessment for evaluation of the safety margin of DEC accidents

Kim, Bokyung; No, Hee Cheon, NUCLEAR ENGINEERING AND DESIGN, v.352, 2019-10

3
Development of a safety analysis method for requirements based on statechart using combined SCR and ISO tables = SCR과 ISO테이블을 이용한 statechart 기반의 요구사항을 위한 안전성 분석 방법 개발link

Lee, Jung-Hwan; 이정환; et al, 한국과학기술원, 2001

4
Development of a system code with CFD capability for analyzing turbulent mixed convection in gas-cooled reactors = 가스냉각로에서의 난류 혼합유동 해석을 위해 전산유체해석 성능을 갖는 시스템 코드의 개발link

Kim, Hyeon-Il; 김현일; et al, 한국과학기술원, 2010

5
Preliminary safety analysis of Korea Helium Cooled Solid Breeder Test Blanket Module

Ahn, Mu-Young; Cho, Seung-Yon; Kim, Duck-Hoi; Lee, Eun-Seok; Kim, Hyung-Seok; Suh, Jae-Seung; Yun, Sung-Hwan; et al, FUSION ENGINEERING AND DESIGN, v.83, no.10-12, pp.1753 - 1758, 2008-12

6
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

7
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

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0