一种时间自动机可达性检测方法  

作　　者：周颜[1] 张翼飞[1] 

机构地区：[1]河南工业大学信息科学与工程学院,河南郑州450001

出　　处：《科技信息》2007年第25期154-154,108,共2页Science & Technology Information

摘　　要：本文首先给出对时间自动机时钟约束作等价处理的方法,然后以一个例子详细说明如何构造时钟区域自动机以及对它作相应的可达性关系的分析。

关 键 词：时间自动机 时钟区域 可达性 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]