Formally Verified Byzantine Agreement in Presence of Link Faults.

Ulrich Schmid Bettina Weiss John M. Rushby

Published in: ICDCS (2002)

Keyphrases

fault tolerant
fault diagnosis
neural network
database
data sets
artificial intelligence
e learning
digital libraries
evolutionary algorithm
control system
test cases
root cause