불확정성을 내포한 실시간 병렬 프로그램의 검증

On the Verification of Real-Time Parallel Programs with Uncertainty

  • 발행 : 1998.03.30