退出
我的积分:
中文文献批量获取
外文文献批量获取
王平;
中科院上海微系统与信息技术研究所;
西华大学;
四川成都610039;
小卫星; 电源控制; 容错设计; 故障注入;
机译:基于TPTS的NPP过程控制系统软硬件组合的现代验证方法。
机译:基于系统依赖图的系统级软硬件协同设计与验证方法
机译:基于状态转换表示转换的软硬件协同设计形式化验证方法
机译:基于C原型的经济高效的软硬件协同验证环境和协同设计方法
机译:软硬件协同 优化 的 动态语言
机译:基于分形特征的跌倒检测系统软硬件协同设计
机译:托卡马克T-15脉冲电源控制系统的软硬件综合原型
机译:验证分布式容错控制系统的监控部分
机译:无阻塞缓存访问机制验证的软硬件协同仿真方法
机译:使用软硬件协同验证环境进行建模的方法和装置
机译:优化软硬件协同验证系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。