한국원자력학회:학술대회논문집 (Proceedings of the Korean Nuclear Society Conference)
- 한국원자력학회 2001년도 춘계학술발표회요약집
- /
- Pages.102.1-102
- /
- 2001
Development of Software Safety Analysis Method for Nuclear Power Plant I&C Systems in Requirement Specification Based on Statechart and SCR
- Lee, Jung-Hwan (Korea Advanced Institute of Science and Technology) ;
- Koo, Seo-Ryong (Korea Advanced Institute of Science and Technology) ;
- Son, Han-Seong (Korea Advanced Institute of Science and Technology) ;
-
Seong, Poong-Hyun
(Korea Advanced Institute of Science and Technology)
- 발행 : 2001.05.01