Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2010.06a
- /
- Pages.60-61
- /
- 2010
- /
- 1598-5164(pISSN)
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
Abstract
Keywords