한국정보과학회:학술대회논문집 (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