direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models
Citation key Mikulcak2016
Author Marcus Mikulcak and Thomas Göthel and Paula Herber and Sabine Glesner
Title of Book INFORMATIK 2016
Pages 1495–1508
Year 2016
ISBN 978-3-88579-653-4
ISSN 1617-5468
Location Klagenfurt
Volume P-259
Month September
Editor Heinrich C. Mayr, Martin Pinzger
Publisher Gesellschaft für Informatik (GI)
Series Lecture Notes in Informatics (LNI)
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions