finite precision timed automata

英 美
  • 有限精度时间自动机
  • automata n.自动机器;自动装置;机械地动作的人名词automaton的复数形式.
  • finite adj.有限的
  • precision n.精确;精密度adj.精确的
  • timed adj.定时的;时控的动词time的过去式和过去分词形式.