Browse

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 VerificationStatic AnalysisAbstract 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.
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Computer Science and Engineering (컴퓨터공학부)Theses (Master's Degree_컴퓨터공학부)
  • mendeley

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

Browse