退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用高阶逻辑定理证明生物电路的正式分析
Saed Abed; Adnan Rashid; Osman Hasan;
机译:使用高阶逻辑定理证明合成生物学的正式推理
机译:利用定理证明组合电路的形式可靠性分析
机译:利用高秩序逻辑定理证明,朝向交通流量宏观模型的形式化
机译:基于定理证明的时序电路设计正确性的形式验证
机译:使用定理证明进行形式概率分析。
机译:使用定理证明关于系统生物学的形式推理
机译:定理证明与形式验证的显性反思
机译:电路容错形式化分析的方法
机译:复杂硬件电路的自动形式验证分析
机译:用于与电子电路设计的形式验证相关的基于范围的时钟分析的系统,方法和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。