학위논문(석사) - 한국과학기술원 : 전기및전자공학전공, 2005.2, [ [xiii], 79 p. ]
일관성 검증; 사용자 요구사항; UML; DEVS 모델; 자동 검증 도구; Automated verification tool; Consistency verification; User Requirement; UML; DEVS Model
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.