Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2010.06a
  • /
  • Pages.60-61
  • /
  • 2010
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Formal Verification of Protocol Stack for MOST Network Service using SPI

SPIN을 이용한 차량용 MOST Network Service 프로토콜 스택 정형검증

  • Lee, Dong-Ah (Department of Computer Science and Engineering, Konkuk University) ;
  • Yoon, Sang-Hyun (Department of Computer Science and Engineering, Konkuk University) ;
  • Lee, Mu-Youl (Department of Computer Science and Engineering, Konkuk University) ;
  • Jin, Hyun-Wook (Department of Computer Science and Engineering, Konkuk University) ;
  • Yoo, Jun-Beom (Department of Computer Science and Engineering, Konkuk University)
  • 이동아 (건국대학교 컴퓨터 공학부) ;
  • 윤상현 (건국대학교 컴퓨터 공학부) ;
  • 이무열 (건국대학교 컴퓨터 공학부) ;
  • 진현욱 (건국대학교 컴퓨터 공학부) ;
  • 유준범 (건국대학교 컴퓨터 공학부)
  • Published : 2010.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords