Proceedings of the Korean Nuclear Society Conference (한국원자력학회:학술대회논문집)
- 2004.10a
- /
- Pages.607-608
- /
- 2004
A Study on a Quantitative V&V for Safety-Critical Software
- Eom, Heung-Seop (Korea Atomic Energy Research Institute, ISA Div.) ;
- Son, Han-Seong (Korea Atomic Energy Research Institute, ISA Div.) ;
- Kang, Hyun-Gook (Korea Atomic Energy Research Institute, ISA Div.) ;
- Chang, Seung-Cheol (Korea Atomic Energy Research Institute, ISA Div.)
- Published : 2004.10.28
Abstract
Keywords