离散时间区间时序逻辑
discrete timed interval temporal logic
分支时间时序逻辑
branching-time temporal logic
最大时间差
The greatest time difference
maximum time separation
最大时间间隔误差
mission critical servermaximum time interval error
MDSmaximum time interval error
MTIE:MaximumTimeIntervalError
Maximum Time Interval Error MTIE
BEFORTHE
最大完工时间
make-span
makespan
tree-restricted
makes pan
production time minimizing
最大信号识别时间
maximum signal recognition time
最大有效扫描时间间隔
the maximal effective scanning interval