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 |