Logo des Repositoriums
 
Konferenzbeitrag

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2016

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Mikulcak, Marcus; Göthel, Thomas; Herber, Paula; Glesner, Sabine (2016): Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. Informatik 2016. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-653-4. pp. 1495-1508. Klagenfurt. 26.-30. September 2016

Schlagwörter

Zitierform

DOI

Tags