• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"机构=中国科学院计算机技术研究所CAD开放实验室"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
逻辑验证自身的特点及其利用
收藏
分享
引用
《计算机学报》1999年 第4期22卷 445-447页
作者：杨志娟 梁业伟 石茵 魏道政北京工业大学计算机学院北京100044 中国科学院计算机技术研究所CAD开放实验室北京100080 
逻辑验证自身的特点为: (1)逻辑验证是针对设计的; (2)利用它可以充分设计有关的文件、资料, 特别是它知道验证的对象及其细节; (3)验证可以深入到设计内部, 可以分而治之.
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部