한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(A)
- /
- Pages.60-61
- /
- 2010
- /
- 1598-5164(pISSN)
SPIN을 이용한 차량용 MOST Network Service 프로토콜 스택 정형검증
Formal Verification of Protocol Stack for MOST Network Service using SPI
- 이동아 (건국대학교 컴퓨터 공학부) ;
- 윤상현 (건국대학교 컴퓨터 공학부) ;
- 이무열 (건국대학교 컴퓨터 공학부) ;
- 진현욱 (건국대학교 컴퓨터 공학부) ;
- 유준범 (건국대학교 컴퓨터 공학부)
- 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)
- 발행 : 2010.06.30