时间化自动机(Timed Automata)是一种用于描述、验证实时系统的理论模型.文中提出了一种通过时间化自动机来形式化带有时间扩展的UML状态图的方法,这种方法为UML...
基于20个网页-相关网页
finite run timed automata 时间自动机
timed automata theory 赋时自动机理论
priced timed automata 价格时间自动机
timed automata machine 时间自动机
timed automata network 时间自动机网
discrete timed automata 离散时间自动机
hierarchical timed automata 层次时间自动机
Two-way timed 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状态中时钟的表示。
应用推荐