한국원자력학회:학술대회논문집 (Proceedings of the Korean Nuclear Society Conference)
- 한국원자력학회 2005년도 추계학술발표회
- /
- Pages.1099-1100
- /
- 2005
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 (Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology) ;
-
Seong, Poong-Hyun
(Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology)
- 발행 : 2005.10.27