Publications
Detailed Information
Alarm-guided locally relational post-analysis for reducing false alarms : 관계 정보를 이용한 재분석을 통해 허위 경보를 감소시키는 방법
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- Authors
- Advisor
- 이광근
- Major
- 전기. 컴퓨터공학부
- Issue Date
- 2011-02
- Publisher
- 서울대학교 대학원
- Keywords
- 프로그램 검증 ; 정적 분석 ; 요약 해석 ; Program Verification ; Static Analysis ; Abstract Interpretation
- Description
- 학위논문 (석사)-- 서울대학교 대학원 : 전기. 컴퓨터공학부, 2011.2. 이광근.
- Language
- eng
- URI
- https://hdl.handle.net/10371/159678
http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000029946
- 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.