退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在HOL中构建已验证的硬件和已验证的堆栈
L??w, Andreas.;
Chalmers Tekniska Hogskola (Sweden).;
机译:柴油辅助动力装置可批量生产的固体氧化物燃料电池堆设计的工程方面和硬件验证
机译:高速和容错车载网络的硬件构建模块的设计和验证
机译:基于组件的硬件/软件协同验证,用于构建可信赖的嵌入式系统
机译:基于HOL系统的数字硬件设计正式验证
机译:集成了HOL和MDG以进行硬件验证。
机译:验证神经形态硬件设备的生物学相关性
机译:硬件验证的三种方法:HOL,mDG和VIs比较
机译:存储验证支持程序,验证支持设备和用于支持对包括不同硬件型号的硬件系统设计进行验证的验证支持方法的计算机可读记录介质
机译:硬件验证程序描述生成装置,高级综合装置,硬件验证程序描述生成方法,硬件验证程序生成方法,控制程序和计算机可读记录介质
机译:硬件验证程序描述生成设备,高级综合设备,硬件验证程序描述生成方法,硬件验证程序生成方法,控制程序和可读记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。