System of Systems; Action-Benefit-Cost modeling; statistical model checking; quantitative verification; 시스템 오브 시스템즈; 행동-이익-비용모델링; 통계적 모델 체킹; 정량적 검증
정보과학회 컴퓨팅의 실제 논문지, v.23, no.4, pp.256 - 261
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.