2TCTL 的语法和语义 这里我们用TCTL( 时间计算树逻辑) [ 10] 表示时序约束, 它是CTL( 计算树逻辑) 的扩展, 加入了时间算子。下面给出 它的语法和语义: 定义4.
基于6个网页-相关网页
时间计算树逻辑
Time calculation tree logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动