학위논문(석사) - 한국과학기술원 : 원자력공학과, 2000.2, [ viii, 59 p. ]
Formal analysis; SCR; UML; Object-oriented; 원전 계측제어 소프트웨어; 정형적 분석 방법론; 요구사항 분석; 객체지향; Requirement analysis
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.