학위논문(박사) - 한국과학기술원 : 전산학전공, 2002.2, [ vi, 117 p. ]
Qualitative Model; Real-time System; Software Safety Analysis; Software Requirements Analysis; Formal Method; 정형기법; 정성모델; 실시간 계통; 소프트웨어 안전성 분석; 소프트웨어 요구분석
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.