Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Informatik 2016 P-259, 1495-1508 (2016).

Gesellschaft für Informatik, Bonn
2016


Copyright © Gesellschaft für Informatik, Bonn

Contents

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models

Marcus Mikulcak , Thomas Göthel , Paula Herber and Sabine Glesner


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-653-4


Last changed 21.10.2016 20:19:16