- 불확정성을 내포한 실시간 병렬 프로그램의 검증
- On the Verification of Real-Time Parallel Programs with Uncertainty
- ㆍ 저자명
- 배현섭,Bae. Hyeon-Seop
- ㆍ 간행물명
- 소프트웨어공학회지
- ㆍ 권/호정보
- 1998년|11권 1호|pp.3-21 (19 pages)
- ㆍ 발행정보
- 한국정보과학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.