首页> 外文OA文献 >On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language

【2h】

On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language

机译：关于线性时间逻辑，属性规范模式和事件处理语言正式化的易于理解性

代理获取

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

页面导航

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

著录项

作者
Christoph Czepa; Uwe Zdun;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language [J] . IEEE Transactions on Software Engineering . 2020,第1期

机译：线性时间逻辑，属性规范模式和事件处理语言形式化的时间属性的可理解性
2. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability [J] . Czepa Christoph, Amiri Amirali, Ntentos Evangelos, Software and systems modeling . 2019,第6期

机译：在线性时间逻辑，事件处理语言和属性规范模式中对合规性规范进行建模：关于可理解性的受控实验
3. An algorithmic approach for checking closure properties of temporal logic specifications and omega-regular languages [J] . Peled D., Wolper P., Wilke T. Theoretical computer science . 1998,第2期

机译：一种检查时间逻辑规范和欧米茄常规语言的闭包特性的算法方法
4. The ForSpec Temporal Logic: A New Temporal Property-Specification Language [C] . Roy Armoni, Limor Fix, Alon Flaisher, International Conference on Tools and Algorithms for the Construction and Analysis of Systems . 2002

机译：forspec时间逻辑：一种新的时间属性 - 规范语言
5. Generating linear temporal logic formulas for complex pattern -based specifications [D] . Salamah, Salamah Ibrahim 2007

机译：为基于复杂模式的规范生成线性时间逻辑公式
6. SYNTAX CONCEPTS AND LOGIC IN THE TEMPORAL DYNAMICS OF LANGUAGE COMPREHENSION: EVIDENCE FROM EVENT RELATED POTENTIALS [O] . Karsten Steinhauer, John E. Drury, Paul Portner, -1

机译：语言理解的时间动态中的语法概念和逻辑：来自事件相关潜力的证据
7. The ForSpec Temporal Logic: A New Temporal Property-Specification Language [O] . Roy Armoni, Limor Fix, Alon Flaisher, 2001

机译：Forspec时序逻辑：一种新的时态属性规范语言
8. Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. [R] . Sadigh, D., Kim, E., Coogan, S., 2014

机译：基于学习的线性时序逻辑规范马尔可夫决策过程综合控制方法。

On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language

著录项

引文网络

相似文献

相关主题

期刊订阅