Konferenzbeitrag

Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern

Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
GI-Proceedings-93-751.pdf (162.4 KB)
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
INFORMATIK 2006 – Informatik für Menschen, Band 1
Regular Research Papers
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
Sammlungen
P093 - INFORMATIK 2006 - Informatik für Menschen - Band I