首页> 外文OA文献 >Symbolic Timing Verification of Timing Diagrams using Presburger Formulas

【2h】

Symbolic Timing Verification of Timing Diagrams using Presburger Formulas

机译：使用预先计算公式的时序图的符号时序验证

页面导航

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

著录项

作者
Tod Amon; Gaetano Borriello; Taokuan Hu; Jiwen Liu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams [J] . Aymen LOUATI, Chadlia JERAD, Kamel BARKAOUI International Journal of Soft Computing and Software Engineering . 2013,第3期

机译：使用时序图对交互概述图进行分层使用的形式化和验证
2. Formal Verification of UML2 Timing Diagrams based on Time Petri Nets [J] . Aymen Louati, Kamel Barkaoui International journal of information systems in the service sector . 2016,第2期

机译：基于时间Petri网的UML2时序图的形式验证
3. Timing Evidence for Symbolic Phonological Representations and Phonology-Extrinsic Timing in Speech Production [J] . Alice Turk, Stefanie Shattuck-Hufnagel Frontiers in Psychology . 2019,第a期

机译：象征性语音表征的时序证据和语音制作中的外在时机
4. Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas [C] . Amon, T., Borriello, . 2001

机译：使用Presburger公式对时序图进行符号时序验证
5. Symbolic asynchronous hardware protocol verification for compositions with relative timing. [D] . Desai, Krishnaji. 2010

机译：具有相对定时的合成的符号异步硬件协议验证。
6. Timing Evidence for Symbolic Phonological Representations and Phonology-Extrinsic Timing in Speech Production [O] . Alice Turk, Stefanie Shattuck-Hufnagel 2019

机译：象征性语音表征的时序证据和语音生产中的外在时机
7. Symbolic Timing Verification of Timing Diagrams using Presburger Formulas [O] . Tod Amon, Gaetano Borriello, Taokuan Hu, 1997

机译：使用Presburger公式对时序图进行符号时序验证
8. Visualization design and verification of Ada tasking using timing diagrams [R] . Vidale, R. F., Szulewski, P. A., Weiss, J. B. 1986

机译：使用时序图可视化设计和验证ada任务

Symbolic Timing Verification of Timing Diagrams using Presburger Formulas

著录项

引文网络

相似文献

相关主题

期刊订阅