首页> 外文OA文献 >Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications

【2h】

Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications

机译：实时语言，定时交替自动机和定时时态逻辑：关系和规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Fellah Abdelaziz;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata [J] . Doron Drusinsky Journal of Universal Computer Science . 2006,第5期

机译：使用交替有限自动机对具有时间序列约束的度量时间逻辑进行在线监视
2. Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata [J] . Seow K. T. IEEE transactions on automation science and engineering . 2007,第3期

机译：在有限自动机中将时间逻辑集成为离散事件控制设计的基于状态的规范语言
3. A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control [J] . Dhananjayan A., Seow K.T. IEEE Transactions on Systems, Man, and Cybernetics . 2014,第9期

机译：实时离散事件控制的度量时间逻辑规范接口
4. Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata [C] . Ting Wang, Jun Sun, Yang Liu, . 2014

机译：定时自动机对规范语言不利吗？定时自动机的语言包含检查
5. Real-time system specification and analysis using Petri nets and temporal logics. [D] . Yang, Jenn-Hwa. 1995

机译：使用Petri网和时间逻辑进行实时系统规范和分析。
6. Clinical language fMRI with real-time monitoring in temporal lobe epilepsy: Online processing methods [O] . E.J. Williams, J. Stretton, M. Centeno, -1

机译：实时监测颞叶癫痫的临床语言功能磁共振成像：在线处理方法
7. Deriving Parameter Conditions for Periodic Timed Automata Satisifying Real-Time Temporal Logic Formulas (New Developments of Theory of Computation and Algorithms) [O] . Nakata Akio 2001

机译：周期性定时自动机满足实时时间逻辑公式的参数条件（计算和算法理论的新发展）

Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications

著录项

引文网络

相似文献

相关主题

期刊订阅