Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models
Author:
- Citation
- BibTeX
Mikulcak, M., Göthel, T., Herber, P. & Glesner, S.,
(2016).
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.
In:
Mayr, H. C. & Pinzger, M.
(Hrsg.),
Informatik 2016.
Bonn:
Gesellschaft für Informatik e.V..
(S. 1495-1508).
@inproceedings{mci/Mikulcak2016,
author = {Mikulcak, Marcus AND Göthel, Thomas AND Herber, Paula AND Glesner, Sabine},
title = {Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models},
booktitle = {Informatik 2016},
year = {2016},
editor = {Mayr, Heinrich C. AND Pinzger, Martin} ,
pages = { 1495-1508 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Mikulcak, Marcus AND Göthel, Thomas AND Herber, Paula AND Glesner, Sabine},
title = {Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models},
booktitle = {Informatik 2016},
year = {2016},
editor = {Mayr, Heinrich C. AND Pinzger, Martin} ,
pages = { 1495-1508 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-653-4
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2016
Language:
(en)

Content Type: Text/Conference Paper
Collections
- P259 - INFORMATIK 2016 [236]