[计]
interval temporal logic
区间时态逻辑(Interval Temporal Logic,ITL)是线性时间时态逻辑的一种扩展,它把时间看作 是离散的,可以很好的描述硬件电路的行为和结构.
基于32个网页-相关网页
短语
的区间时态逻辑
Interval Temporal Logic
;
ITL
基于区间的时态逻辑
Temporal logic based on time interval
-
interval temporal logic
-
interval temporal logic
·2,447,543篇论文数据，部分数据来源于NoteExpress