退出
我的积分:
中文文献批量获取
外文文献批量获取
冯香枝; 陈慧; 袁九宇;
恒润科技;
定点模型; 自动代码生成; 实时性; 代码质量评估; Stateflow模型; 控制算法;
机译:SLDG:Simulink / Stateflow模型及其应用程序的元模型
机译:使用模型检查从Simulink / Stateflow模型自动生成测试用例
机译:为修订的Simulink / Stateflow模型提取最小化的测试套件
机译:基于ISO / IEC 9126的MATLAB / Simulink / Stateflow模型内部质量的质量模型
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:开源软件质量评估模型的系统文献综述
机译:基于启发式输入分析的RRT算法生成基于RRT算法的Simulink / StateFlow模型的测试用例
机译:贝叶斯统计模型检验在stateflow / simulink验证中的应用
机译:从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译:针对SIMULINK /状态流模型的基于有效分区细化的可达性检查
机译:软件质量评估模块和方法,以及计算机可读记录介质,其记录,用于实施软件质量评估方法的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。