Logo des Repositoriums
 
Konferenzbeitrag

Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2006

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Palczynski, Jacob; Schlich, Bastian; Kowalewski, Stefan (2006): Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. INFORMATIK 2006 – Informatik für Menschen, Band 1. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-187-4. pp. 751-755. Regular Research Papers. Dresden. 2.-6. Oktober 2006

Schlagwörter

Zitierform

DOI

Tags