首页> 中文期刊>郑州大学学报（理学版） >时间自动机与自动验证

时间自动机与自动验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构造算法的时间复杂度.

著录项

来源
《郑州大学学报（理学版）》|2001年第2期|30-34|共5页
作者
宋煌; 郑丽萍; 庄雷; 苏锦祥;
展开▼
作者单位

郑州大学计算机科学系,;

郑州大学计算机科学系,;

郑州大学计算机科学系,;

郑州大学计算机科学系,;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动机理论;
关键词
时间转换表; 时间自动机; 区域自动机; 时间后继;

相似文献

中文文献
外文文献
专利

1. 设备自动巡检控制逻辑的层级时间自动机建模与验证 [J] . 孙程 ,邢建春 ,杨启亮 . 计算机科学 . 2017,第004期
2. 基于PLCopen运动控制功能块的时间自动机建模与验证 [J] . 孙青怡 ,黄志韬 . 制造业自动化 . 2021,第009期
3. 基于层次时间自动机的移动授权的建模与验证 [J] . 蔚璠 ,汤旻安 . 科学技术与工程 . 2020,第011期
4. 基于时间自动机的自主化ATP等级转换功能建模与验证 [J] . 叶安君 . 城市轨道交通研究 . 2019,第007期
5. 基于时间自动机的物联网网关安全系统的建模及验证 [J] . 王国卿 ,庄雷 ,王瑞民 . 通信学报 . 2018,第003期
6. 设备自动巡检控制逻辑的层级时间自动机建模与验证 [C] . Sun Cheng ,孙程 ,Xing Jianchun . 第十四届全国软件与应用学术会议 . 2015
7. 基于时间自动机的列控系统数据验证模型的构建与应用 [A] . 丁勋勋 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号