On Ensuring the Safety Integrity of the BCT System through Linkage Safety Analysis Techniques and SysML-based Architecture Artifact (안전분석 기법과 SysML 기반의 아키텍처 산출물의 연계성 확보를 통한 BCT 시스템의 안전 무결성 확보에 관한 연구)
-
- Journal of the Korea Academia-Industrial cooperation Society
- /
- v.17 no.8
- /
- pp.352-362
- /
- 2016