차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교

김동우 ( Dongwoo Kim ) 최윤자 ( Yunja Choi ) 2016년

논문상세정보

인용/피인용

논문영향력 요약
동일주제 총논문수	논문피인용 총횟수	주제별 논문영향력의 평균
주제	Automotive Software Constraint Pattern Model Checking OSEK/VDX api patriot act professional manpower static analysis 모델검증 애국법 애플리케이션 프로그래밍 인터페이스 이상기후 자유법 정적 분석 제약사항 패턴 차량전장소프트웨어 테러리즘 테러리즘 대응입법
501	0	0.0%

논문영향력
주제		주제별 논문수	주제별 논문영향력
주제어	Automotive Software	1	0.0%
	Constraint Pattern	1	0.0%
	Model Checking	3	0.0%
	OSEK/VDX	2	0.0%
	api	72	0.0%
	patriot act	3	0.0%
	professional manpower	8	0.0%
	static analysis	94	0.0%
	모델검증	22	0.0%
	애국법	5	0.0%
	애플리케이션 프로그래밍 인터 ...	2	0.0%
	이상기후	17	0.0%
	자유법	2	0.0%
	정적 분석	45	0.0%
	제약사항 패턴	2	0.0%
	차량전장소프트웨어	2	0.0%
	테러리즘	218	0.0%
	테러리즘 대응입법	2	0.0%
계		501	0.0%
* 다른 주제어 보유 논문에서 피인용된 횟수