Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations
Thu, 06/12/2008 - 11:50am
| Title | Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations |
| Publication Type | Journal Article |
| Year of Publication | 2004 |
| Authors | Agrawal, A., G. Simon, and G. Karsai |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 109 |
| Pagination | 43--56 |
| Full Text |
| Attachment | Size |
|---|---|
| Agrawal_A_3_27_2004_Semantic_T.pdf | 1.58 MB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering