상세 보기
멀티미디어 응용을 위한 시간명제 및 검증방법
A Temporal Specification and Verification Method for Interactive Multimedia Application
- 오길호;
- Kim, Byeong-Man;
- Lim, Eun-ki;
- Choon Seo Jang;
- 신윤식;
- 외 1명
- 제목
- 멀티미디어 응용을 위한 시간명제 및 검증방법
- 제목 (타언어)
- A Temporal Specification and Verification Method for Interactive Multimedia Application
- 저자
- 오길호; Kim, Byeong-Man; Lim, Eun-ki; Choon Seo Jang; 신윤식; 오득환
- 발행일
- 1997-02
- 저널명
- 금오공대 논문집
- 권
- 17
- 페이지
- 191
- 출판사
- 금오공대