안전분석 기법과 SysML 기반의 아키텍처 산출물의 연계성 확보를 통한 BCT 시스템의 안전 무결성 확보에 관한 연구 (On Ensuring the Safety Integrity of the BCT System through Linkage Safety Analysis Techniques and SysML-based Architecture Artifact)
-
- 한국산학기술학회논문지
- /
- 제17권8호
- /
- pp.352-362
- /
- 2016