退出
我的积分:
中文文献批量获取
外文文献批量获取
李杰; 昝济国; 郑凤; 马晋;
上海市航空学会;
航空飞机; 防撞系统; S模式监视软件; 设计模式; Simulink模型;
机译:基于SIMULINK模型的嵌入式视频应用基于模型的软件评估
机译:Simulink模型与基于组件的软件模型的集成
机译:基于Matlab Simulink的蒸汽发生器PLC集成过程仿真软件设计。
机译:缩小基于模型的设计的工具差距,从Simulink中的飞行控制功能设计到SCADE中的软件设计
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:基于模型的软件框架用于基于搜索的软件测试
机译:simulink代码生成:使用simulink Coder从simulink模型生成C代码的教程。
机译:针对SIMULINK /状态流模型的基于有效分区细化的可达性检查
机译:从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译:基于组件的集成仿真环境与MATLAB / SIMULINK传统仿真程序之间的交互方法以及交互接口设计方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。