Resource-Efficient State-Machine Replication with Multithreading and Vertical Scaling
Gerhard Habiger, Franz J. Hauck, Johannes Köstler, Hans P. Reiser · 2018
The following topics are dealt with: security of data; safety-critical software; safety; formal verification; Internet; cloud computing; optimisation; fault tolerant computing; formal specification; contracts.