Merkliste 
 1 Ergebnisse 
 
1

Graphical Hybrid Automata with Simulink and Stateflow:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),