Proceedings of the Korean Nuclear Society Conference (한국원자력학회:학술대회논문집)

Korean Nuclear Society (한국원자력학회)
권호 표지

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)
  • Published : 2005.10.27
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords