退出
我的积分:
中文文献批量获取
外文文献批量获取
于建锋; 周文华; 何文华; 邵千钧;
浙江大学能源系,杭州,310027;
OSEK/VDX; 实时操作系统; 汽车电控单元;
机译:验证OSEK / VDX汽车应用:基于自旋的模型检查方法
机译:用于汽车安全分析的基于OSEK / VDX的操作系统的模型检查
机译:用于汽车安全分析的基于OSEK / VDX的操作系统的模型检查*
机译:AlphaOS,基于OSEK / VDX的汽车RTOS:设计和测试
机译:行为和构建的环境:一种解释性模型,用于对考古环境中的建筑进行分析,并从MYRTOS的青铜年龄站点(材料)对材料进行测试。
机译:RTOG BR0131在新诊断的间变性少突神经胶质瘤和混合间变性少突星形胶质细胞瘤患者中进行放疗前和同时进行的替莫唑胺II期试验:RTOG BR0131
机译:Trampoline OsEK / VDX RTOs规范的Opensource实现
机译:使用OsEK进行实时应用程序开发:OsEK标准的回顾
机译:改进实现attrezzano门和portoncini的把手和pomoli的开发所必需的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。