A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata.

Jin Woo Ro, Avinash Malik, Partha S. Roop

Browse the full MEMOCODE paper archive.