학위논문(박사) - 한국과학기술원 : 전산학과, 1999.8, [ xiii, 114 p. ]
Real-time system; Debugging; Verification; Testing; Parallel program; 검증; 디버깅; 테스팅; 병렬 프로그램; 실시간 시스템
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.