Pages that link to "Item:Q2486257"
From MaRDI portal
The following pages link to Relational characterizations of system fault tolerance (Q2486257):
Displaying 5 items.
- Algebraic model of architecture of a fault-tolerant computer system (Q1315687) (← links)
- A semantic characterization for faults in replicated systems (Q1330427) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- Logical specification and analysis of fault tolerant systems through partial model checking (Q2849551) (← links)
- Fault tolerance evaluation based on the lattice of system configurations (Q4908481) (← links)