Login / Signup
Automatic Integration of BFT State-Machine Replication into IoT Systems.
Christian Berger
Hans P. Reiser
Franz J. Hauck
Florian Held
Jörg Domaschka
Published in:
EDCC (2022)
Keyphrases
</>
state machine
fault tolerant
finite state machines
management system
state machines
distributed systems
fault tolerance
computer systems
complex systems
distributed databases
model checking
fully automatic
databases
test cases
wavelet transform
multiresolution
formal methods
expert systems
data structure