The following pages link to (Q3998465):
Displaying 9 items.
- Formal reliability analysis of redundancy architectures (Q667523) (← links)
- Formalization of an architectural model for exception handling coordination based on CA action concepts (Q967556) (← links)
- Transformation of programs for fault-tolerance (Q1201297) (← links)
- On dependability of computing systems (Q1288429) (← links)
- A trace-based compositional proof theory for fault tolerant distributed systems (Q1330425) (← links)
- Top-down development of layered fault tolerant systems and its problems -- a deontic perspective (Q1353857) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- Studies on algorithms for self-stabilizing communication protocols (Q1975141) (← links)
- Optimal checkpointing interval for two-level recovery schemes (Q2494807) (← links)
