Pages that link to "Item:Q997238"
From MaRDI portal
The following pages link to Engineering and theoretical underpinnings of retrenchment (Q997238):
Displayed 12 items.
- Property transformation under specification change (Q352027) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits (Q470020) (← links)
- Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231) (← links)
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Simple feature engineering via neat default retrenchments (Q649587) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Stronger compositions for retrenchments (Q974130) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- Composition mechanisms for retrenchment (Q2426521) (← links)
- Retrenchment and refinement interworking: the tower theorems (Q5740620) (← links)