Pages that link to "Item:Q555302"
From MaRDI portal
The following pages link to Automated constraint-based addition of nonmasking and stabilizing fault-tolerance (Q555302):
Displaying 7 items.
- 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)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- Ensuring Average Recovery with Adversarial Scheduler (Q5363814) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464746) (← links)