timed automata theory 赋时自动机理论
timed automata network 时间自动机网
discrete timed automata 离散时间自动机
hierarchical timed automata 层次时间自动机
Two-way timed automata 双向时间自动机
probabilistic timed automata 基于概率时间自动机
finite precision timed automata 有限精度时间自动机
timed tree automata 时间树自动机
Timed interface automata 时间接口自动机
This paper extends the software architecture environment Armani wit h the ability of behavioral specification and verification in a real-time linear temporal logic framework using timed automata as computing models.
以实时线性时态逻辑作为逻辑框架，以时控自动机作为计算模型，扩展了软件体 系结构环境Armani的行为规范说明与验证的能力。
参考来源 - 软件体系结构环境中的行为规范说明与验证 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
Propese a real-time workflow time modeling and verification method based on timed automata.
提出一种基于时间自动机的实时工作流时间建模与验证方法。
The systems are usually described by the timed automata and the properties are specified by the temporal logic.
这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。
Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.
简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。
应用推荐