Logo des Repositoriums
 

Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern

Kurzanzeige
dc.contributor.authorPalczynski, Jacob
dc.contributor.authorSchlich, Bastian
dc.contributor.authorKowalewski, Stefan
dc.contributor.editorHochberger, Christian
dc.contributor.editorLiskowsky, Rüdiger
dc.date.accessioned2019-06-12T12:32:01Z
dc.date.available2019-06-12T12:32:01Z
dc.date.issued2006
dc.identifier.isbn978-3-88579-187-4
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/23652
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2006 – Informatik für Menschen, Band 1
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-93
dc.titleEine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckernde
dc.typeText/Conference Paper
gi.citation.endPage755
gi.citation.publisherPlaceBonn
gi.citation.startPage751
gi.conference.date2.-6. Oktober 2006
gi.conference.locationDresden
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings-93-751.pdf
Größe:
162.4 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P093 - INFORMATIK 2006 - Informatik für Menschen - Band I