Browse "NE-Conference Papers(학술회의논문)" by Author Koh, Kwang Yong
Showing results 1 to 3 of 3
| A Formal Verification Method of Function Block Diagram Koh, Kwang Yong; Seong, Poong-Hyun; Jee, Eun Kyoung; Jeon, Seung Jae; Park, Gee Yong; Kwon, Kee-Choon, 한국원자력학회 2007 춘계학술발표대회, 한국원자력학회, 2007-05-10 |
| SACS2: A dynamic and formal approach to safety analysis for complex safety critical system Koh, Kwang Yong; Seong, Poong-Hyun, 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009, v.1, pp.298 - 311, 2009-04-05 |
| Software safety Analysis on the Model Specified by NuSCR and SMV Input Language at Requirements Phase of Software Development Life Cycle using SMV Koh, Kwang Yong; Seong, Poong-Hyun, 한국원자력학회 2005 추계학술대회, 한국원자력학회, 2005-10-27 |
Discover
Type
- 3 Article
- 5,616 Conference
Date issued
- 546 2020 - 2024
- 2,529 2010 - 2019
- 1,629 2000 - 2009
- 723 1990 - 1999
- 172 1980 - 1989