TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

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

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe