Pages that link to "Item:Q1201297"
From MaRDI portal
The following pages link to Transformation of programs for fault-tolerance (Q1201297):
Displaying 9 items.
- Multitolerant barrier synchronization (Q287220) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- A compositional framework for fault tolerance by specification transformation (Q1330423) (← links)
- Automation of fault-tolerant graceful degradation (Q1733388) (← links)
- Factorizing fault tolerance. (Q1853629) (← links)
- Maximum-frequency monitoring of program flow (Q1899897) (← links)
- A case study in the mechanical verification of fault tolerance (Q4783363) (← links)
- (Q5015358) (← links)