退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于模型的自适应嵌入式系统验证中的组合推理
Ina Schaefer; Arnd Poetzsch-heffter;
机译:嵌入式电源管理系统中的软件便携性和验证的基于模型的框架
机译:基于模型的构建和关键系统的验证,包括组合和部分优化
机译:流环测试验证了基于自适应模型的节流阀控制系统
机译:基于模型的自适应嵌入式系统验证的组成推理
机译:基于模型的网络体系系统的组成验证方法和工具开发
机译:嵌入式实时系统的运行时验证
机译:从基于模型的设计到自适应嵌入式系统的形式验证
机译:复杂系统系统(sos)的基于模型的组合推理。
机译:混合故障推理和指导性故障排除系统,使用基于案例的推理和基于模型的推理
机译:协同仿真计算机系统,嵌入式系统验证系统和嵌入式系统验证方法
机译:基于集成模型的旋转机械推理/专家系统诊断
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。