机译:使用UPPAAL和Simulink / Stateflow对实时发布和订阅协议进行建模和验证
机译:为修订的Simulink / Stateflow模型提取最小化的测试套件
机译:离散时间混合系统的可达性解析,并应用于Simulink / Stateflow的自动测试生成
机译:SL2SF:将Simulink重构为Stateflow
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:一种新型实时MATLAB / SIMULINK / LEGO EV3用于学术用途的机器人和计算机科学
机译:混合simulink / stateflow控制器的自动测试:工业案例研究
机译:贝叶斯统计模型检验在stateflow / simulink验证中的应用