|国家科技期刊平台
| 注册
首页|期刊导航|郑州大学学报(自然科学版)|时间自动机与自动验证

时间自动机与自动验证

宋煌 郑丽萍 庄雷 苏锦祥

郑州大学学报(自然科学版)2001，Vol.33Issue(2)：30-34,5.
✕
郑州大学学报(自然科学版)2001，Vol.33Issue(2)：30-34,5.

时间自动机与自动验证

Timed Automaton and Automatic Verification

宋煌 1郑丽萍 1庄雷 1苏锦祥1

作者信息

  • 1. 郑州大学计算机科学系,
  • 折叠

摘要

关键词

时间转换表/时间自动机/区域自动机/时间后继

分类

信息技术与安全科学

引用本文复制引用

宋煌,郑丽萍,庄雷,苏锦祥..时间自动机与自动验证[J].郑州大学学报(自然科学版),2001,33(2):30-34,5.

郑州大学学报(自然科学版)

1671-6841

访问量0
|
下载量0
段落导航相关论文