The following pages link to FM 2005: Formal Methods (Q5716891):
Displayed 5 items.
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
- Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231) (← links)
- Simple feature engineering via neat default retrenchments (Q649587) (← links)
- Stronger compositions for retrenchments (Q974130) (← links)
- Composition mechanisms for retrenchment (Q2426521) (← links)