Pages that link to "Item:Q436420"
From MaRDI portal
The following pages link to Refinement-oriented models of Stateflow charts (Q436420):
Displaying 10 items.
- Semantic translation of Simulink diagrams to input/output extended finite automata (Q434480) (← links)
- Test selection for traces refinement (Q481094) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Synthesizing OMT state diagrams (Q2770769) (← links)
- Automated analysis of Stateflow models (Q4645732) (← links)
- Statecharts, transition structures and transformations (Q5096749) (← links)
- Stateflow Diagrams in (Q5179350) (← links)
- FM 2005: Formal Methods (Q5716880) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)