학위논문(박사) - 한국과학기술원 : 전산학전공, 2005.2, [ viii, 95 p. ]
fault tree; safety analysis; formal methods; Safety-critical software; theorem proving; 정리 증명; 고장 수목; 안전성 분석; 정형 방법; 안전성이 중요한 소프트웨어
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.