TAG Time Automated Grid

中文翻译时间的自动化网格

同义词释义

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对一个经典的实时系统实例进行了验证。