退出
我的积分:
中文文献批量获取
外文文献批量获取
杨国胜; 贾天阳; 王贺飞;
河南天海科技有限公司,河南郑州 450001;
河南天海电器有限公司,河南鹤壁458030;
软件架构; 车身控制器; Simulink Stateflow; 建模仿真; 代码生成;
机译:使用Simulink / StateFlow的多机器人系统的基于状态的建模与控制
机译:了解车身电子:Qorivva 32位微控制器架构作为车身电子的平台解决方案
机译:使用UPPAAL和Simulink / Stateflow对实时发布和订阅协议进行建模和验证
机译:使用Simulink / StateFlow用于汽车身体控制电子产品的基于有效的基于模型的开发过程
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:从地图到形式到空间:Touch和车身架构
机译:混合simulink / stateflow控制器的自动测试:工业案例研究
机译:贝叶斯统计模型检验在stateflow / simulink验证中的应用
机译:从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译:基于组件结构的测试框架设备,用于基于自动SAR(自动开放系统架构)标准的电场软件平台标准易用性测试技术
机译:集成轮和车身动态控制标准稳定性的架构和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。