Publications

Detailed Information

UPPAAL을 이용한 플래시 메모리 관리 소프트웨어 검증

DC Field Value Language
dc.contributor.advisor민상렬-
dc.contributor.author조영충-
dc.date.accessioned2010-01-26T15:37:45Z-
dc.date.available2010-01-26T15:37:45Z-
dc.date.copyright2008.-
dc.date.issued2008-
dc.identifier.urihttp://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000042250kog
dc.identifier.urihttps://hdl.handle.net/10371/45039-
dc.description학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부,2008.8.ko
dc.format.extent42 장ko
dc.language.isokoko
dc.publisher서울대학교 대학원ko
dc.subject플래시 메모리ko
dc.subjectFlash memoryko
dc.subjectFTL(Flash Translation Layer)ko
dc.subjectFTL(Flash Translation Layer)ko
dc.subject검증ko
dc.subjectVerificationko
dc.subjectUPPAALko
dc.subjectUPPAALko
dc.titleUPPAAL을 이용한 플래시 메모리 관리 소프트웨어 검증ko
dc.typeThesis-
dc.contributor.department전기. 컴퓨터공학부-
dc.description.degreeMasterko
Appears in Collections:
Files in This Item:
There are no files associated with this item.

Altmetrics

Item View & Download Count

  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Share