Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author 고광용

Showing results 1 to 4 of 4

1
An Integrated Approach of Model checking and Temporal Fault Tree for System Safety Analysis

고광용; 성풍현researcher, 한국원자력학회 2009 추계학술발표회, 한국원자력학회, 2009-10-29

2
Fault Tree Analysis with Temporal Gates and Model Checking Technique for Qualitative System Safety Analysis

고광용; 성풍현researcher, 한국원자력학회 2010 춘계학술발표대회, 한국원자력학회, 2010-05-28

3
SACS2: Dynamic and Formal Safety Analysis Method for Complex Safety Critical System

고광용; 성풍현researcher, 한국원자력학회 2009 춘계학술발표회, 한국원자력학회, 2009-05-21

4
SMV model-based safety analysis of software requirements = SMV 모델기반의 소프트웨어 요구사항 안전성 분석link

Koh, Kwang-Yong; 고광용; et al, 한국과학기술원, 2006

Discover

Type

Open Access

Date issued

Subject

. next

rss_1.0 rss_2.0 atom_1.0