timed automation

　
英 美
  • 時(shí)間自動(dòng)機

timed automation的用法和樣例：

例句

  1. This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound.
    摘要著(zhù)重解決代價(jià)和概率時(shí)間自動(dòng)機模型的可達性問(wèn)題，即滿(mǎn)足一定概率要求的最小代價(jià)問(wèn)題。

timed automation的相關(guān)資料：

臨近單詞

今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan