退出
我的积分:
中文文献批量获取
外文文献批量获取
黄骅; 袁宜峰; 何德峰; 凌志浩;
中国自动化学会;
嵌入式软件; 功能安全; 智能变送器; 可靠性设计;
机译:基于Z和MARTE的嵌入式软件安全建模与验证方法
机译:基于模型的框架涵盖了从规范到嵌入式软件系统中的时序要求验证的完整工作流程
机译:嵌入式软件基于可观察性的验证
机译:从最终用户的角度和八分之一的制造商的角度来看,对IEC61508 / 61511以IEC61508 / 61511设计的实践经验
机译:入侵检测:基于嵌入式软件机器学习和硬件规则的协同设计
机译:桥式红外热辐射源的可靠性设计和电热光学仿真
机译:基于组件的嵌入式软件的运行时验证
机译:利用基于FpGa的片上系统架构的嵌入式软件认证方法的综合安全性分析和实现框架。
机译:运行嵌入式软件的设备以及用于验证嵌入式软件许可证的方法
机译:使用嵌入式软件运行的设备和验证嵌入式软件许可的方法
机译:可靠性设计辅助设备,可靠性设计辅助方法和可靠性设计辅助程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。