基本解釋[動力與電氣工程]標(biāo)志語意語言[計算機(jī)科學(xué)技術(shù)]標(biāo)志語意語言英漢例句雙語例句This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model.使用擴(kuò)展的持續(xù) 時間 縯算 （ EDC）模型 ，給出了 時間化的 RAISE描述語言 （ RSL ）的一個子集的指稱語義 。denotational semantics language更多例句專業(yè)釋義動力與電氣工程標(biāo)志語意語言計算機(jī)科學(xué)技術(shù)標(biāo)志語意語言