시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구 (An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification)
-
- 정보과학회 컴퓨팅의 실제 논문지
- /
- 제23권4호
- /
- pp.256-261
- /
- 2017