首页> 外文OA文献 >Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals

【2h】

Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals

机译：用时态逻辑分析时态逻辑：一种基于区间的层次方法

页面导航

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

著录项

作者
Ben Moszkowski;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals [J] . BEN MOSZKOWSKI Journal of logic and computation . 2007,第2期

机译：使用时间逻辑分析时间逻辑：一种基于时间间隔的分层方法
2. Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy [J] . Bozzelli Laura, Molinari Alberto, Montanari Angelo, Information and computation . 2018,第PTa2期

机译：模型检查间隔时间逻辑HS的片段在多项式时间层次结构的低级别
3. Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking [J] . Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, LIPIcs : Leibniz International Proceedings in Informatics . 2017,第1期

机译：通过时间间隔逻辑模型检查评估时间数据集
4. A Novel Approach for Intrusion Detection based on Model Checking Interval Temporal Logic with Past Construct [C] . Pengzhe Qiao, Weijun Zhu International Conference on Mechanical Structures and Smart Materials . 2014

机译：基于模型检查间隔时间逻辑的入侵检测新方法
5. Logic Design Assistance System based on Temporal Logic利用統計を見る [D] . Nakamura Hiroshi 1990

机译：查看基于时间逻辑使用情况统计信息的逻辑设计辅助系统
6. Control strategies for COVID-19 epidemic with vaccination shield immunity and quarantine: A metric temporal logic approach [O] . Zhe Xu, Bo Wu, Ufuk Topcu 2021

机译：Covid-19流行病的控制策略抗疫苗盾牌免疫检疫：公制时间逻辑方法
7. A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals [O] . Moszkowski, Ben 2006

机译：基于maTLaB的命题时态逻辑的层次分析间隔
8. Extended Interval Temporal Logic and A Framing Technique for Temporal LogicProgramming [R] . Duan, Z. H. 1996

机译：扩展区间时序逻辑和时态逻辑程序设计的成帧技术

Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals

著录项

引文网络

相似文献

相关主题

期刊订阅