科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
郑冰; 方华丽;
河南工业职业技术学院,河南南阳473009;
功能验证; 状态转换表; 状态转换图; 时序电路;
机译:验证时序电路的初始化序列
机译:电路转换可在时序电路的形式验证中减少假阴性
机译:时序电路的稳健QBF编码及其在验证,调试和测试中的应用
机译:体育教学课程建设课程探析探析
机译:用于验证同步时序电路的正式技术。
机译:变化在FFaR1基因:修改BmI身体成分和β细胞的功能在超重者:探析
机译:基于VHDL的时序电路规范和等效性验证。
机译:基于痉挛性综合征和探析恢复电机功能的培训方法。
机译:逻辑验证对象电路的转换方法,包括将时序电路转换为逻辑验证辅助电路及其装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。