On the Verification of Real-Time Parallel Programs with Uncertainty

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

  • Published : 1998.03.30

Abstract

Keywords