Pages that link to "Item:Q1938357"
From MaRDI portal
The following pages link to Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357):
Displayed 6 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Program repair without regret (Q746769) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Automation of fault-tolerant graceful degradation (Q1733388) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- (Q4603447) (← links)