Pages that link to "Item:Q2426521"

The following pages link to Composition mechanisms for retrenchment (Q2426521):

Displaying 7 items.

• 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)
• 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)
• Retrenchment and refinement interworking: the tower theorems (Q5740620) (← links)