한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
- /
- Pages.424-426
- /
- 2002
- /
- 1598-5164(pISSN)
실시간 시스템 분석을 위한 확률 명세 방법
A Formal Probabilistic Specification Method for Analysis of Real Time Systems
- Jang, Eun-Min (Real-time Systems Laboratory, Chonbuk National University) ;
- Lee, Chul (Real-time Systems Laboratory, Chonbuk National University) ;
- Lee, Moon-Kun (Real-time Systems Laboratory, Chonbuk National University)
- 발행 : 2002.04.01