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
Google Scholar | BibTeX | XML