Pages that link to "Item:Q2847845"
From MaRDI portal
The following pages link to Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations (Q2847845):
Displaying 8 items.
- Semantic translation of Simulink diagrams to input/output extended finite automata (Q434480) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- A denotational semantics of simulink with higher-order UTP (Q2096416) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- HYST (Q2988924) (← links)
- Semi-automatic generation of mixed hardware/software prototypes from Simulink models (Q3528923) (← links)
- Model Continuity in Discrete Event Simulation (Q5270739) (← links)