退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于HDL的规范和验证的行为综合方法
D. Knapp; T. Ly; D. MacMillen; R. Miller;
机译:状态机模块验证的行为规范方法
机译:通过行为建模仿真验证数据转换器规格
机译:EULYNX-LIVE:用于验证混合现场测试系统规范的方法
机译:CNAP规范和验证:一种使用LOTOS和UCM的设计方法。
机译:从行为危险因素监测系统对健康指标进行小范围估计的多级回归和后分层方法学验证
机译:行为合成装置,行为合成方法,包括行为合成装置的数据处理系统以及非暂态计算机可读介质存储行为合成程序
机译:行为合成设备,行为合成方法,包括行为合成设备的数据处理系统以及存储行为合成程序的非暂时性计算机可读介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。