退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:异步电路设计的过程代数验证中的机遇与挑战
Wang X.; Kwiatkowska M.; Theodoropoulos G.; Zhang Q.;
机译:异步电路的过程代数验证
机译:线性电路分析:一种解决挑战和识别过程电路设计机会的工具
机译:3-D集成电路的物理设计和CAD工具:挑战与机遇
机译:关于异步电路的过程代数验证
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:异步逻辑电路的化学反应网络设计
机译:Petri网在异步电路和系统的设计和验证中的使用
机译:同步和异步电路的门级VHDL模型的规范和验证
机译:异步电路验证程序数据生成方法,异步电路验证方法和异步电路验证设备
机译:用于执行从同步电路设计表示到异步电路设计表示以及从异步电路设计表示到同步电路设计表示的自动转换的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。