Publications
Detailed Information
UPPAAL을 이용한 플래시 메모리 관리 소프트웨어 검증
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 민상렬 | - |
dc.contributor.author | 조영충 | - |
dc.date.accessioned | 2010-01-26T15:37:45Z | - |
dc.date.available | 2010-01-26T15:37:45Z | - |
dc.date.copyright | 2008. | - |
dc.date.issued | 2008 | - |
dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000042250 | kog |
dc.identifier.uri | https://hdl.handle.net/10371/45039 | - |
dc.description | 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부,2008.8. | ko |
dc.format.extent | 42 장 | ko |
dc.language.iso | ko | ko |
dc.publisher | 서울대학교 대학원 | ko |
dc.subject | 플래시 메모리 | ko |
dc.subject | Flash memory | ko |
dc.subject | FTL(Flash Translation Layer) | ko |
dc.subject | FTL(Flash Translation Layer) | ko |
dc.subject | 검증 | ko |
dc.subject | Verification | ko |
dc.subject | UPPAAL | ko |
dc.subject | UPPAAL | ko |
dc.title | UPPAAL을 이용한 플래시 메모리 관리 소프트웨어 검증 | ko |
dc.type | Thesis | - |
dc.contributor.department | 전기. 컴퓨터공학부 | - |
dc.description.degree | Master | ko |
- Appears in Collections:
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.