中英▼
go top

duration calculus

  • 时段演算

网络释义专业释义英英释义

  作者以时段演算

作者以时段演算(Duration Calculus,DC)为工具对VHDL的子集进行了形式语义分析;通过分析VHDL和Verilog HDL部分语句的形式语义...

基于4个网页-相关网页

短语

discrete duration calculus 离散时段演算

  • 时段演算 - 引用次数：7

    Chapter II: an introduction to duration calculus.

    第2章,介绍时段演算。

    参考来源 - SLDDS问题的离散化与形式化
    延时演算 - 引用次数：1

    参考来源 - 使用延时演算的时间化RSL的指称语义(英文) in C
  • 时段演算 - 引用次数：1

    参考来源 - DDS并行模型及其形式化

·2,447,543篇论文数据，部分数据来源于NoteExpress

Duration calculus

  • abstract: Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定