2TCTL 的语法和语义 这里我们用TCTL( 时间计算树逻辑) [ 10] 表示时序约束, 它是CTL( 计算树逻辑) 的扩展, 加入了时间算子。下面给出 它的语法和语义: 定义4.
基于14个网页-相关网页
TCTL (transistor-coupled transistor logic) 晶体管耦合晶体管逻辑 TCU (temperature control unit) 温度控制装置
基于6个网页-相关网页
我们引进树自动定时交替的时间自动机的检查问题的定时计算树逻辑（TCTL）后，自动机理论的方法求解该模型的自然延伸。这解决的问题所带来Henzinger，库普弗曼，瓦迪。
基于1个网页-相关网页
EL TCTL 不平衡衰减
TCTL Tactile 触觉的
Equal Level TCTL 等电平横向变换转移损耗
tctl transistor coupled transistor logic 晶体管耦合晶体管逻辑
Methods HPLC was used to analyze the alcohol extracts of TCTL.
方法采用高效液相色谱法分析东北红豆杉枝叶乙醇提取物。
This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end.
本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
应用推荐