您要查找的是不是：
- Keywords Timed automata;Timed System;Formal verification;Theorem proving;PVS; 关键词时间自动机;时间系统;形式验证;定理证明;PVS;
- 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. 接着介绍了时间自动机的最新进展，即有关事件记录自动机，事件预测自动机以及事件时钟自动机。
- Keywords Time series analysis;Strategy;ARMA model; 时间序列分析;攻略;ARMA模型;
- Finite Precision Timed Automata(FFFA) 有限精度时间自动机
- Keywords timing;catch;women saber; 时机感;捕捉;女子佩剑;
- Keywords time varied stress;myoblast;shape reconstruct; 交变应力;成肌细胞;形态学改建;
- Keywords Time;Models;Typhoid-paratyphoid vaccines;Forecasting; 时间;模型;伤寒副伤寒菌苗;预测;
- Schedulability Analysis of the CAN Network Using Timed Automata 基于时间自动机的CAN网络可调度性分析
- Keywords Time series;ARIMA model;Prediction;Malaria;Incidence; 时间序列;ARIMA模型;预测;疟疾;发病率;
- Keywords Time series;Prediction;Lead time;Bone densitometry; 时间序列;预测;提前期;骨密度仪;
