A Logic with Temporal Glue for Mixed Specifications

机译：带有时序胶的逻辑，用于混合规格

代理获取

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

页面导航

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

著录项

作者
Aiguie Marc; Barbier Fabrice; Poizat Pascal;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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期

机译：在线性时间逻辑，事件处理语言和属性规范模式中对合规性规范进行建模：关于可理解性的受控实验
2. 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期

机译：线性时间逻辑，属性规范模式和事件处理语言形式化的时间属性的可理解性
3. Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications [J] . Srinivasan Mohit, Coogan Samuel IEEE Transactions on Robotics . 2021,第2期

机译：在时间逻辑规格下使用屏障功能控制移动机器人
4. Optimal Control of Mixed Logical Dynamical Systems with Linear Temporal Logic Specifications [C] . Sertac Karaman, Ricardo G. Sanfelice, Emilio Frazzoli IEEE Conference on Decision and Control . 2008

机译：线性时间逻辑规范的混合逻辑动力系统的优化控制
5. Resilience for Satisfaction of Temporal Logic Specifications by Dynamical Systems [D] . ?Mehdipour, Noushin 2021

机译：动态系统满足时间逻辑规范的恢复能力
6. In silico analysis of the transcriptional regulatory logic of neuronal identity specification throughout the C. elegans nervous system [O] . Lori Glenwinkel, Seth R Taylor, Kasper Langebeck-Jensen, 2021

机译：在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
7. A Logic with Temporal Glue for Mixed Specifications [O] . Marc Aiguier, Fabrice Barbier, Pascal Poizat 2003

机译：混合规格的时间胶合逻辑

A Logic with Temporal Glue for Mixed Specifications

著录项

引文网络

相似文献

相关主题

期刊订阅