|
|||||
|
|
| 一种时间自动机可达性检测方法 | |
| 引用本文： | 周颜,张翼飞.一种时间自动机可达性检测方法[J].科技信息,2007(25):154-154,108. |
| 作者姓名： | 周颜 张翼飞 |
| 作者单位： | 河南工业大学信息科学与工程学院 河南郑州450001 |
| 摘 要： | 本文首先给出对时间自动机时钟约束作等价处理的方法,然后以一个例子详细说明如何构造时钟区域自动机以及对它作相应的可达性关系的分析。 |
| 关 键 词： | 时间自动机 时钟区域 可达性 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |