scientific article

zbMATH Open0558.68025MaRDI QIDQ3347281

Flaviu Cristian

Publication date: 1984

Title of this publication is not available (Why is that?)

zbMATH Keywords

system reliabilitysoftware correctnessStochastic modellingcorrectness of fault-tolerant systemshardware malfunction

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

Formally verifying fault tolerant system designs ⋮ Code Design for Dependable Systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347281)