인기 연구 키워드 :
인기 활용 키워드 :

자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용

최준열 ( Jun Yeol Choi ) 조준형 ( Joon Hyung Cho ) 최윤자 ( Yunja Choi ) 2017년

활용도
공유도
영향력

논문상세정보

- 저자 최준열 ( Jun Yeol Choi ) 조준형 ( Joon Hyung Cho ) 최윤자 ( Yunja Choi )
- 제어번호 103097858
- 학술지명 정보처리학회논문지. 소프트웨어 및 데이터 공학
- 권호사항 Vol. 6 No. 4 [ 2017 ]
- 발행처 한국정보처리학회
- 자료유형 학술저널
- 수록면 167-176 ( 10쪽)
- 언어 Korean
- 출판년도 2017
- 등재정보 KCI등재
- 소장기관 영남대학교 과학도서관
- 판매처 한국학술정보
- 주제어 Automotive Verification Model Checking FormalVerification ISO 26262 SafetyRequirement 모델검증 안전 요구사항 자동차 검증 정형 검증
- 참고문헌( 0)
유사주제 논문( 74)

인용/피인용

자동차 전자식 주차 브레이크 시스템 안전 요구사항 검 ...

' 자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용' 의 주제별 논문영향력

논문영향력 요약
동일주제 총논문수	논문피인용 총횟수	주제별 논문영향력의 평균
주제	Automotive Verification Model Checking formalverification iso 26262 safetyrequirement 모델검증 안전 요구사항 자동차 검증 정형 검증
83	0	0.0%

논문영향력
주제		주제별 논문수	주제별 피인용횟수	주제별 논문영향력
주제어	Automotive Verification	1	0	0.0%
	Model Checking	3	0	0.0%
	formalverification	4	0	0.0%
	iso 26262	40	0	0.0%
	safetyrequirement	4	0	0.0%
	모델검증	22	0	0.0%
	안전 요구사항	3	0	0.0%
	자동차 검증	1	0	0.0%
	정형 검증	5	0	0.0%
계		83	0	0.0%
* 다른 주제어 보유 논문에서 피인용된 횟수			0