The following pages link to Richard Banach (Q470017):
Displaying 36 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)
- (Q649585) (redirect page) (← links)
- Simple feature engineering via neat default retrenchments (Q649587) (← links)
- Locating the contractum in the double pushout approach (Q672236) (← 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)
- Engineering and theoretical underpinnings of retrenchment (Q997238) (← links)
- Regular relations and bicartesian squares (Q1329746) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Transitive term graph rewriting (Q1350096) (← links)
- Sequent reconstruction in LLM -- A sweepline proof (Q1892938) (← links)
- On regularity in software design (Q1899136) (← links)
- Sharp retrenchment, modulated refinement and simulation (Q1977124) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
- Weak fibrations (Q2366051) (← links)
- Composition mechanisms for retrenchment (Q2426521) (← links)
- Pliant Modalities in Hybrid Event-B (Q2842625) (← links)
- (Q4222779) (← links)
- (Q4472175) (← links)
- (Q4494260) (← links)
- (Q4520284) (← links)
- (Q4520508) (← links)
- (Q4520536) (← links)
- The contractum in algebraic graph rewriting (Q4645265) (← links)
- (Q4737572) (← links)
- (Q4942037) (← links)
- (Q4942251) (← links)
- (Q5294156) (← links)
- FM 2005: Formal Methods (Q5716891) (← links)
- Retrenchment and refinement interworking: the tower theorems (Q5740620) (← links)
- Simple type inference for term graph rewriting systems (Q5881175) (← links)
- Formalisation, abstraction and refinement of bond graphs (Q6535511) (← links)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency (Q6561342) (← links)
