您的位置： 专家智库 > >

杜惠敏

作品数：1 被引量：11H指数：1
供职机构：西北工业大学计算机学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇形式化验证技...
  • 1篇硬件
  • 1篇硬件设计
  • 1篇时态逻辑
  • 1篇计算机
  • 1篇函数
  • 1篇布尔函数

机构

  • 1篇西安邮电学院
  • 1篇西北大学
  • 1篇西北工业大学

作者

  • 1篇杜惠敏
  • 1篇韩俊刚
  • 1篇郝克刚
  • 1篇郭建

传媒

  • 1篇小型微型计算...

年份

  • 1篇2001
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于时态逻辑的硬件设计形式化验证技术——模型检验被引量：11
2001年
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一步地分析 。
郭建杜惠敏韩俊刚郝克刚
关键词：时态逻辑布尔函数硬件设计形式化验证计算机
全选 清除 导出
共1页<1>
聚类工具0