Metric Interval Temporal Logic的意思|示意
美 / /
英 / /
度量间隔时间逻辑
Metric Interval Temporal Logic的网络常见释义
度量区间时序逻辑 本文提出了基于受限度量区间时序逻辑（Metric Interval Temporal Logic，MITL）的测试预言自动生成技术。首先针对MITL[0，b]的语法和语义，使用模型检验中的tableau思想，...