Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현Implementation of ANSI-C translator for analyzing C program using SPARK examiner
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 차성덕 | - |
| dc.contributor.advisor | Cha, Sung-Deok | - |
| dc.contributor.author | 김진섭 | - |
| dc.contributor.author | Kim, Jin-Sup | - |
| dc.date.accessioned | 2011-12-13T06:02:46Z | - |
| dc.date.available | 2011-12-13T06:02:46Z | - |
| dc.date.issued | 2002 | - |
| dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=177101&flag=dissertation | - |
| dc.identifier.uri | http://hdl.handle.net/10203/34516 | - |
| dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2002.2, [ v, 66 p. ] | - |
| dc.language | kor | - |
| dc.publisher | 한국과학기술원 | - |
| dc.subject | ANSI C | - |
| dc.subject | 프로그램 분석 | - |
| dc.subject | 소프트웨어 공학 | - |
| dc.subject | 안전성 분석 | - |
| dc.subject | ANSI C | - |
| dc.subject | program analysis | - |
| dc.subject | safety-critical | - |
| dc.subject | Software Engineering | - |
| dc.title | Spark examiner를 이용해 ANSI-C 프로그램을 분석하기 위한 변환기 구현 | - |
| dc.title.alternative | Implementation of ANSI-C translator for analyzing C program using SPARK examiner | - |
| dc.type | Thesis(Master) | - |
| dc.identifier.CNRN | 177101/325007 | - |
| dc.description.department | 한국과학기술원 : 전산학전공, | - |
| dc.identifier.uid | 020003136 | - |
| dc.contributor.localauthor | 차성덕 | - |
| dc.contributor.localauthor | Cha, Sung-Deok | - |
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.