An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification (시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구)
-
- KIISE Transactions on Computing Practices
- /
- v.23 no.4
- /
- pp.256-261
- /
- 2017