Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2006, Informatik für Menschen, Band 1, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2. - 6. Oktober 2006 in Dresden P-93, 751-755 (2006).


2006


Editors

Christian Hochberger, Rüdiger Liskowsky (eds.)


Contents

Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern

Jacob Palczynski , Bastian Schlich and Stefan Kowalewski




ISBN 978-3-88579-187-4


Last changed 24.01.2012 21:56:05