您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 二叉决策图BDD原理、应用与实现介绍

  2. 二叉决策图BDD原理、应用与实现的完整介绍,包括BDD到OBDD的转化、OBDD到ROBDD的转化,以及BDD的C++语言实现库buddy的内部原理介绍
  3. 所属分类:讲义

    • 发布日期:2018-08-26
    • 文件大小:2097152
    • 提供者:kphf1995cm
  1. 基于roBDD的细颗粒度动态污点分析(英文)

  2. 基于roBDD的细颗粒度动态污点分析(英文)
  3. 所属分类:其它

    • 发布日期:2021-02-24
    • 文件大小:199680
    • 提供者:weixin_38661466