本文提出了基于受限度量区间时序逻辑（Metric Interval Temporal Logic，MITL）的测试预言自动生成技术。首先针对MITL[0，b]的语法和语义，使用模型检验中的tableau思想，...
基于4个网页-相关网页
metric interval temporal logic
度量间隔时间逻辑
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动