度量区间相关硕士博士期刊学术论文 - 搜论网

度量区间相关论文

Timed automata for metric interval temporal logic formulae in prototype verification system

把结构和公制的间隔的语义模型基于句法的分析时间的逻辑( MITL )公式，怎么转变在即时时间的逻辑 MITL 公式写进在这篇论文与原型确......

期刊

原型验证系统度量区间序逻辑公式时间自动机 real-time system metric interval temporal logic （MITL）

看过本文同时还关注