Mathematical Verification of A Nuclear Power Plant Protection System Function with Combined CPN and PVS
- Publisher
- 한국원자력학회
- Issue Date
- 1998-05
- Language
- KOR
- Citation
한국원자력학회 '98 춘계 학술발표회, pp.315 - 320
- 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.