论文 视频 会议 专家
订阅 投稿
2022年 第23卷 第8期
大纲
摘要
关键词
《信息与电子工程前沿(英文)》 >> 2022年 第23卷 第8期 doi: 10.1631/FITEE.2100561
一种基于矩阵的有限状态机静态分析方法
1河南科技大学信息工程学院,中国洛阳市,471000;2南开大学人工智能学院,中国天津市,300071
逻辑系统 ; 有限值系统 ; 矩阵的半张量积 ; 有限状态机 ; 矩阵方法
正文
网站版权所有 © 2015 《中国工程科学》杂志社有限责任公司
关注我们