Verification of safety integrity for vital data processing device through quantitative safety analysis (정량적 안전성 분석을 통한 Vital 데이터 처리장치의 안전무결성 요구사항 검증)
-
- Journal of the Korea Academia-Industrial cooperation Society
- /
- v.16 no.7
- /
- pp.4863-4870
- /
- 2015