您要查找的是不是：
- timed automata machine 时间自动机
- Removing irrelevant atomic formulas for checking timed automata efficiently. In Proc. 因此,无关的原子约束是广泛存在的。
- This paper first briefly introduces timed automata, clock region, region equivalence and clock zone. 摘要首先简介了时间自动机、时钟区域、区域等价、时钟带的概念。
- According to clock zone, infinite state space of timed automata can be transformed to finite. 利用时钟带，可以将时间自动机的无穷状态空间转化为有穷。
- Based on timed automata,a rigorous schedulability analysis method of the CAN network with aperiodic real-time messages is developed in the paper. 控制网络的可调度性对网络化控制系统的性能有着重要的影响。
- In this paper an extension of timed automata with priorities is introduced,and we present an improved algorithm to compute subtraction on DBMs. 本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进。
- This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound. 摘要着重解决代价和概率时间自动机模型的可达性问题，即满足一定概率要求的最小代价问题。
- This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end. 本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
- The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It includes a type checker and supports the TA, XTA, and XML file formats. 是一种被UPPAAL使用的语法分析程序库。它包括一个类型检测器，并支持TA、XTA和XML文件格式。
- The reachability analysis based on timed automata is one of the most used methods for model checking.Its’ major weakness is the state-space-explosion problem. 摘要 基于时间自动机的可达性分析是模型检测最常用的方法之一，但该方法饱受状态空间爆炸问题的困扰。
- They are very useful in protocol verifications. This paper presents some methods of protocol verification and uses KRONOS to verify FDDI to introduce the method of using timed automata. 文章介绍了网络协议验证的几种方法,并以KRONOS验证FDDI协议为例说明了用时间自动机验证协议的方法。
- Ameliorates both the time complexity and the space complexity Third, introduces the new development of timed automaton that is event-recording automata, event-predicting and event-clock automata. 接着介绍了时间自动机的最新进展，即有关事件记录自动机，事件预测自动机以及事件时钟自动机。
- Finite Precision Timed Automata(FFFA) 有限精度时间自动机
- Research of Intrusion Tolerant System Based on Finite State Automaton Machine 基于有限自动机的网络入侵容忍系统研究
- Fruit juices ferment if they are kept a long time. 果汁若是放置很久，就会发酵。
- Time is sometimes called the fourth dimension. 时间有时被称为第四度空间。
- I think the work can be completed ahead of time. 我认为这项工作能提前完成。
- He will come on time even though it rains. 即使下雨，他还是会准时来的。
- Reading occupies most of my free time. 阅读占去了我大部分的闲暇时间。
- I need some time to orient my thinking. 我需要一些时间来使我的思想适应。
