| Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations | |
|---|---|
| Author | |
| Year of Publication |
2004
|
| Journal |
Electronic Notes in Theoretical Computer Science
|
| Volume |
109
|
| Number of Pages |
43--56
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |