Publications
Detailed Information
Alarm-guided locally relational post-analysis for reducing false alarms : 관계 정보를 이용한 재분석을 통해 허위 경보를 감소시키는 방법
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 이광근 | - |
dc.contributor.author | 장수원 | - |
dc.date.accessioned | 2019-07-10T05:27:20Z | - |
dc.date.available | 2019-07-10T05:27:20Z | - |
dc.date.issued | 2011-02 | - |
dc.identifier.other | 000000029946 | - |
dc.identifier.uri | https://hdl.handle.net/10371/159678 | - |
dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000029946 | ko_KR |
dc.description | 학위논문 (석사)-- 서울대학교 대학원 : 전기. 컴퓨터공학부, 2011.2. 이광근. | - |
dc.format.extent | iii, 29 leaves | - |
dc.language.iso | eng | - |
dc.publisher | 서울대학교 대학원 | - |
dc.subject | 프로그램 검증 | - |
dc.subject | 정적 분석 | - |
dc.subject | 요약 해석 | - |
dc.subject | Program Verification | - |
dc.subject | Static Analysis | - |
dc.subject | Abstract Interpretation | - |
dc.title | Alarm-guided locally relational post-analysis for reducing false alarms | - |
dc.title.alternative | 관계 정보를 이용한 재분석을 통해 허위 경보를 감소시키는 방법 | - |
dc.type | Thesis | - |
dc.type | Dissertation | - |
dc.description.degree | Master | - |
dc.contributor.affiliation | 전기. 컴퓨터공학부 | - |
dc.date.awarded | 2011-02 | - |
- 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.