timed automation
英
美
时间自动机
timed automation的用法和样例:
例句
This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound.
摘要着重解决代价和概率时间自动机模型的可达性问题,即满足一定概率要求的最小代价问题。
timed automation的相关资料:
临近单词
time
Timedrive
目录
查词历史
英 汉