scientific article
From MaRDI portal
Publication:3998465
zbMath0697.68010MaRDI QIDQ3998465
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)
Related Items (10)
A trace-based compositional proof theory for fault tolerant distributed systems ⋮ Top-down development of layered fault tolerant systems and its problems -- a deontic perspective ⋮ Simulation relations for fault-tolerance ⋮ Studies on algorithms for self-stabilizing communication protocols ⋮ Formal reliability analysis of redundancy architectures ⋮ Transformation of programs for fault-tolerance ⋮ Formalization of an architectural model for exception handling coordination based on CA action concepts ⋮ Architecture and applications of the Bremen autonomous wheelchair ⋮ Optimal checkpointing interval for two-level recovery schemes ⋮ On dependability of computing systems
This page was built for publication:
