Static Value Range Analysis for Matlab/Simulink-Models.

Christian Dernehl, Norman Hansen, Thomas Gerlitz, Stefan Kowalewski

Browse the full GI paper archive.