|
|||||
|
|
| 时间自动机与自动验证 | |
| 引用本文： | 宋煌,郑丽萍,庄雷,苏锦祥.时间自动机与自动验证[J].郑州大学学报(理学版),2001,33(2):30-34. |
| 作者姓名： | 宋煌 郑丽萍 庄雷 苏锦祥 |
| 作者单位： | 郑州大学计算机科学系, |
| 基金项目： | 国家自然科学基金资助项目(项目编号69873040). |
| 摘 要： | 给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构造算法的时间复杂度. |
| 关 键 词： | 时间转换表 时间自动机 区域自动机 时间后继 |
| 文章编号： | 1001-8212(2001)02-0030-05 |
| 修稿时间： | 2000年2月27日 |
Timed Automaton and Automatic Verification |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |