SACS2: A dynamic and formal approach to safety analysis for complex safety critical system
- Issue Date
- 2009-04-05
- Language
- ENG
- Citation
6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009, v.1, pp.298 - 311
- 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.