Pages that link to "Item:Q434480"
From MaRDI portal
The following pages link to Semantic translation of Simulink diagrams to input/output extended finite automata (Q434480):
Displaying 4 items.
- The refinement calculus of reactive systems (Q2672236) (← links)
- Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations (Q2847845) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- Semi-automatic generation of mixed hardware/software prototypes from Simulink models (Q3528923) (← links)