机译:SLDG:Simulink / Stateflow模型及其应用程序的元模型
Hybrid systems; Reactive systems; Simulink; Stateflow; Slicing; Regression test selection; Impact analysis;
机译:SLDG:Simulink / Stateflow模型及其应用程序的元模型
机译:使用模型检查从Simulink / Stateflow模型自动生成测试用例
机译:使用UPPAAL和Simulink / Stateflow对实时发布和订阅协议进行建模和验证
机译:贝叶斯统计模型检查及其在Stateflow / Simulink验证中的应用
机译:将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
机译:室内空气污染元模型在空间分布住房中的应用
机译:贝叶斯统计模型检查及其在Stateflow / Simulink验证中的应用
机译:贝叶斯统计模型检验在stateflow / simulink验证中的应用