한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
- /
- Pages.16-21
- /
- 2010
- /
- 1598-5164(pISSN)
이동 프로세스 대수에서 행위의 의미 분석을 위한 정형기법
Formal Method for Meaning Analysis of Behavior on Mobile Process Algebra
-
U, Su-Jeong
(Department of Computer Engineering, Chonbuk University) ;
-
On, Jin-Ho
(Department of Computer Engineering, Chonbuk University) ;
- Lee, Moon-Kun (Department of Computer Engineering, Chonbuk University)
- 발행 : 2010.06.30
초록
분산 이동 실시간 시스템의 명세, 개발 및 검증을 위해
키워드