Korea Information Processing Society Review (정보처리학회지)

Volume 21 Issue 4
/
Pages.48-55
/
2014
/
1226-9182(pISSN)
/
2734-0376(eISSN)

Korea Information Processing Society (한국정보처리학회)

권호 표지

차량전장용 운영체제 검증 사례를 통한 소프트웨어 안전성 검증 기법 소개

최윤자 (경북대학교) ;
변태준 (경북대학교)

Published : 2014.07.28

PDF

⟨ Previous Next ⟩

Abstract

Keywords