Static value range analysis for Matlab/simulink-models

Dernehl, Christian; Hansen, Norman; Gerlitz, Thomas; Kowalewski, Stefan (2015): Static value range analysis for Matlab/simulink-models. INFORMATIK 2015. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-640-4. pp. 1649-1660. Cottbus. 28. September - 2. Oktober 2015