2TCTL 的语法和语义 这里我们用TCTL( 时间计算树逻辑) [ 10] 表示时序约束, 它是CTL( 计算树逻辑) 的扩展, 加入了时间算子。下面给出 它的语法和语义: 定义4.
基于14个网页-相关网页
TCTL (transistor-coupled transistor logic) 晶体管耦合晶体管逻辑 TCU (temperature control unit) 温度控制装置
基于6个网页-相关网页
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，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
应用推荐