Keynotes

summary form only given. In many application domains, Simulink/Stateflow serves as a platform for model-based development of the reactive embedded code, that interacts with its environment in real-time fashion. The talk will present a model-based approach for testing Simulink/Stateflow code, based o... View More