Software safety Analysis on the Model Specified by NuSCR and SMV Input Language at Requirements Phase of Software Development Life Cycle using SMV
- Publisher
- 한국원자력학회
- Issue Date
- 2005-10-27
- Language
- KOR
- Citation
한국원자력학회 2005 추계학술대회
- Appears in Collection
- NE-Conference Papers(학술회의논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.