Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

DOI10.1007/b100824zbMath1109.68369OpenAlexW4206454994MaRDI QIDQ5464745

Paul Stevens Miner, Jeffrey Maddalon, Alfons Geser, Lee Pike

Publication date: 19 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100824

zbMATH Keywords

reliabilityfault toleranceprotocolByzantineDiagnosisInteractive ConsistencySPIDER

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

A functional formalization of on chip communications