Pages that link to "Item:Q5428888"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5428888):
Displaying 14 items.
- Semantic translation of Simulink diagrams to input/output extended finite automata (Q434480) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- Control: a perspective (Q463779) (← links)
- A semantics for distributed execution of Statemate (Q706501) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- A constructive approach to state description semantics (Q1414570) (← links)
- On checking equivalence of simulation scripts (Q2035653) (← links)
- Part-whole statecharts for precise behavioral semantics (Q2737493) (← links)
- Dynamic State Machines for Formalizing Railway Control System Specifications (Q3460219) (← links)
- (Q4222938) (← links)
- (Q4251114) (← links)
- Automated analysis of Stateflow models (Q4645732) (← links)
- (Q5015367) (← links)
- Stateflow Diagrams in (Q5179350) (← links)