Browse "NE-Conference Papers(학술회의논문)" by Author 고광용
Showing results 1 to 3 of 3
| 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 |
Discover
Type
- 3 Article
- 5,608 Conference
Date issued
- 538 2020 - 2024
- 2,529 2010 - 2019
- 1,629 2000 - 2009
- 723 1990 - 1999
- 172 1980 - 1989