AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
李晓华; 盛德浩; 孙志诚;
解放军汽车管理学院;
安徽蚌埠;
233011;
仿真对象模型; 高层体系结构; 模块; 模型; 接口;
机译:使用UPPAAL和Simulink / Stateflow对实时发布和订阅协议进行建模和验证
机译:为修订的Simulink / Stateflow模型提取最小化的测试套件
机译:离散时间混合系统的可达性解析,并应用于Simulink / Stateflow的自动测试生成
机译:设计FlexRay控制器-从SDL到StateFlow和Simulink模块:生成和验证
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:通过时间早期干预采用和时变效果改造的核对楔形设计的设计和分析:应用于提出的研究设计以降低表征相关的死亡率
机译:SL2SF:将Simulink重构为stateflow
机译:贝叶斯统计模型检验在stateflow / simulink验证中的应用
机译:从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译:基于组件的集成仿真环境与MATLAB / SIMULINK传统仿真程序之间的交互方法以及交互接口设计方法
机译:通过仿真程序设计阻尼器的方法,特别是用于车辆制造的阻尼器,该仿真程序包括在初始设计阶段应用的组件和公差
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。