안전중시 시스템의 모델기반 설계에서 메타모델을 활용한 기능 고장의 탐지 및 안전 요구사항 검증 (Detection of Functional Failure and Verification of Safety Requirements Using Meta-Models in the Model-Based Design of Safety-Critical Systems)
-
- 한국산학기술학회논문지
- /
- 제17권9호
- /
- pp.308-313
- /
- 2016