Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2010.06b
- /
- 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)
- Published : 2010.06.30
Abstract
분산 이동 실시간 시스템의 명세, 개발 및 검증을 위해
Keywords