finite run timed automata

 
  • 時間自動機

finite run timed automata的用法和樣例:

例句

  1. This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound.
    摘要著重解決代價和概率時間自動機模型的可達性問題,即滿足一定概率要求的最小代價問題。

finite run timed automata的相關資料:

臨近單詞

今日熱詞
目錄 附錄 查詞歷史