基本释义:

时间的自动化网格

网络释义

1)TAG Time Automated Grid,时间的自动化网格

2)priced timed automata,价格时间自动机

3)minimizable timed automaton,可最小化的时间自动机

4)timed automata network,时间自动机网

5)networks of timed automatas,时间自动机网络

6)Automated grid methods,自动网格

用法和例句

Correspondingly the priced timed automata is a mature tool.

而价格时间自动机则是一种相对成熟的工具。

Modeling of a C~3I system and its real time performance and verification based on timed automata network;

基于时间自动机网的C~3I系统建模和实时性验证

On the basis of the formal model of the timed automatas,the formal syntax and semantics of networks of timed automatas are established.

介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具UPPAAL对一个经典的实时系统实例进行了验证。