A Comparative Study of Formal Methods for Safety Critical Software in Nuclear Power Plant
- Publisher
- 한국원자력학회
- Issue Date
- 2000-12
- Language
- Korean
- Citation
NUCLEAR ENGINEERING AND TECHNOLOGY , v.32, no.6, pp.537 - 548
- ISSN
- 1738-5733
- Appears in Collection
- NE-Journal 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.