Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern.

Jacob Palczynski, Bastian Schlich, Stefan Kowalewski

Browse the full GI paper archive.