Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Open Access
- 1 December 2004
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 109, 43-56
- https://doi.org/10.1016/j.entcs.2004.02.055
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An end-to-end domain-driven software development frameworkPublished by Association for Computing Machinery (ACM) ,2003
- Hierarchical Hybrid Modeling of Embedded SystemsPublished by Springer Nature ,2001
- Support for Design Patterns through Graph Transformation ToolsPublished by Springer Nature ,2000
- Graph transformation for specification and programmingScience of Computer Programming, 1999
- Model-integrated computingComputer, 1997