退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时序验证和时序分析程序
Robert B. Hitchcock;
机译:正规分析和验证InternetWare的时序和资源适应性
机译:利用可达性分析的线性脉冲系统的稳定性验证和定时合同合成
机译:结合人为错误验证和时序分析:输液泵案例研究
机译:基于相对时序的验证和设计,以及对延迟不敏感的信号路径建模以及在现场可编程门阵列中的应用。
机译:首次转诊至综合性姑息治疗计划:其时机的回顾性分析
机译:多核并行程序的编程与时序分析
机译:时序验证方法,时序验证装置和时序验证程序
机译:半导体集成电路的时序验证装置,时序验证方法和时序验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。