Pages that link to "Item:Q1938357"
From MaRDI portal
The following pages link to Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357):
Displaying 8 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance (Q555302) (← links)
- Program repair without regret (Q746769) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← 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)