退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于FPGA的可靠性检查
?Subramanian, Rishi Bharadwaj;
University of Cincinnati;
机译:基于SAT的显式LTL_F可靠性检查
机译:基于SAT的显式LTL推理及其在满意度检查中的应用。
机译:基于SMT的MITL满意度检查方法
机译:基于SAT的ATL可靠性检查
机译:在符号模型检查中基于可满足性的抽象优化。
机译:基于FPGA的电子皮肤实现实时数字信号处理
机译:基于SAT的显式LTLF可靠性检查
机译:电路板的自动信号定时调整装置,特别是FPGA和信号定时检查电路,从FPGA检查信号定时
机译:基于满意度(SAT)的有界模型检查器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。