The customizable fault/error model for dependable distributed systems.

From MaRDI portal
Publication:1853630