Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.

Marcus Mikulcak, Thomas Gthel, Paula Herber, Sabine Glesner

Browse the full GI paper archive.