|国家科技期刊平台
| 注册
首页|期刊导航|新乡教育学院学报|硬件设计中的形式化方法

硬件设计中的形式化方法

崔霞 苗长芬

新乡教育学院学报2005，Vol.18Issue(2)：79-81,3.
✕
新乡教育学院学报2005，Vol.18Issue(2)：79-81,3.

硬件设计中的形式化方法

崔霞 1苗长芬2

作者信息

  • 1. 郑州大学,升达经贸管理学院,河南,郑州,450000
  • 2. 新乡师范高等专科学校,计科系,河南,新乡,453000
  • 折叠

摘要

关键词

形式化方法/模型检验/CTL/BDD

分类

社会科学

引用本文复制引用

崔霞,苗长芬..硬件设计中的形式化方法[J].新乡教育学院学报,2005,18(2):79-81,3.

新乡教育学院学报

OACHSSCD

1674-6511

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