Showing results 1 to 2 of 2
Exact Scalable Sensitivity Analysis for the Next Release Problem Harman, Mark; Krinke, Jens; Medina-Bulo, Inmaculada; Palomo-Lozano, Francisco; Ren, Jian; Yoo, Shin, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v.23, no.2, 2014-03 |
실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
Discover