The following pages link to (Q2766635):
Displaying 9 items.
- Facilitating the design of fault tolerance in transaction level SystemC programs (Q391252) (← links)
- Combining decomposition and reduction for state space analysis of a self-stabilizing system (Q394332) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← 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)
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (Q3075475) (← links)
- Synthesis of Fault-Tolerant Distributed Systems (Q3648709) (← links)
- Weakest Invariant Generation for Automated Addition of Fault-Tolerance (Q5170186) (← links)