학위논문(석사) - 한국과학기술원 : 전산학부, 2017.2,[iii, 40 p. :]
System of systems▼astatistical model checking▼aaction-benefit-cost model▼amass casualty incident▼aquantitative verification; 시스템 오브 시스템즈▼a통계적 모델 체킹▼a행동-이익-비용 모델링▼a다중 손상 사고▼a정량적 검증
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.