Verification of Fault-Tolerant Clock Synchronization Algorithms.

Sergiy Bogomolov Christian Herrera Wilfried Steiner

Published in: ARCH@CPSWeek (2016)

Keyphrases

fault tolerant
fault tolerance
learning algorithm
distributed systems
multimedia
interconnection networks
database
data structure
load balancing