Showing results 1 to 4 of 4
An Integrated Approach of Model checking and Temporal Fault Tree for System Safety Analysis 고광용; 성풍현, 한국원자력학회 2009 추계학술발표회, 한국원자력학회, 2009-10-29 |
Fault Tree Analysis with Temporal Gates and Model Checking Technique for Qualitative System Safety Analysis 고광용; 성풍현, 한국원자력학회 2010 춘계학술발표대회, 한국원자력학회, 2010-05-28 |
SACS2: Dynamic and Formal Safety Analysis Method for Complex Safety Critical System 고광용; 성풍현, 한국원자력학회 2009 춘계학술발표회, 한국원자력학회, 2009-05-21 |
SMV model-based safety analysis of software requirements = SMV 모델기반의 소프트웨어 요구사항 안전성 분석link Koh, Kwang-Yong; 고광용; et al, 한국과학기술원, 2006 |
Discover