학위논문(석사) - 한국과학기술원 : 신소재공학과, 2005.2, [ iv, 83 p. ]
상변화 메모리 요구사항; 일관성 검증; Automated verification tool 2.6; Phase change random access memory tConsistency verification; 자동 검증 도구 커널 2.6
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.