首页|期刊导航|计算机工程与应用|时间自动机状态空间的一个极小化构造方法

时间自动机状态空间的一个极小化构造方法

姬莉霞周清雷李占波苏锦祥

计算机工程与应用2007，Vol.43Issue(14)：30-33,4.

时间自动机状态空间的一个极小化构造方法

Minimizing state space of timed automata

姬莉霞 ¹周清雷 ²李占波 ¹苏锦祥²

作者信息

1. 郑州大学,软件技术学院,郑州,450002
2. 郑州大学,信息工程学院,郑州,450052
折叠

摘要

关键词

时间自动机/转换系统/可达性/状态空间/模型检测

分类

信息技术与安全科学

引用本文复制引用

姬莉霞,周清雷,李占波,苏锦祥..时间自动机状态空间的一个极小化构造方法[J].计算机工程与应用,2007,43(14):30-33,4.

基金项目

国家自然科学基金(the National Natural Science Foundation of China under Grant No.69873040). （the National Natural Science Foundation of China under Grant No.69873040）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量0

下载量0

段落导航