首页> 外文OA文献 >A New Approach to Timing Analysis using Event Propagation and Temporal Logic

【2h】

A New Approach to Timing Analysis using Event Propagation and Temporal Logic

机译：一种利用事件传播和时间逻辑进行时序分析的新方法

页面导航

著录项
相似文献
相关主题

著录项

作者
Arijit Mondal; Partha P. Chakrabarti; C. R. Mandal;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic [J] . Mondal A., Chakrabarti P.P. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2006,第9期

机译：使用符号事件传播和时间逻辑对数字电路的时序行为进行推理
2. A population-based temporal logic gate for timing and recording chemical events [J] . Paul WK Rothemund, Bin Zhang, Wei Chen, Molecular Systems Biology . 2016,第5期

机译：基于群体的时间逻辑门，用于定时和记录化学事件
3. Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals [J] . BEN MOSZKOWSKI Journal of logic and computation . 2007,第2期

机译：使用时间逻辑分析时间逻辑：一种基于时间间隔的分层方法
4. A New Approach to Timing Analysis Using Event Propagation and Temporal Logic [C] . Arijit Mondal, Partha. P. Chakrabarti, C. R. Mandal 1st workshop on modules and libraries for proof assistants 2009 . 2009

机译：利用事件传播和时间逻辑进行时序分析的新方法
5. Supervisory control and failure diagnosis of discrete event systems: A temporal logic approach. [D] . Jiang, Shengbing. 2002

机译：离散事件系统的监督控制和故障诊断：一种时间逻辑方法。
6. A population‐based temporal logic gate for timing and recording chemical events [O] . Victoria Hsiao, Yutaka Hori, Paul WK Rothemund, 2016

机译：基于总体的时间逻辑门用于定时和记录化学事件
7. A population-based temporal logic gate for timing and recording chemical events [O] . Hsiao Victoria, Hori Yutaka, Rothemund Paul W. K., 2016

机译：基于群体的时间逻辑门，用于定时和记录化学事件
8. Functional Temporal Calculus Versus Temporal Logic: An Engineering Approach [R] . Boute, R. T. 1985

机译：功能时间微积分与时间逻辑：一种工程方法

A New Approach to Timing Analysis using Event Propagation and Temporal Logic

著录项

相似文献

相关主题

期刊订阅