Login / Signup
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems.
Rui Wang
Lars Michael Kristensen
Hein Meling
Volker Stolz
Published in:
Trans. Petri Nets Other Model. Concurr. (2018)
Keyphrases
</>
fault tolerant
distributed systems
fault tolerance
load balancing
distributed environment
software architecture
distributed computing
message passing
model based testing
mobile agents
operating system
data replication
high assurance
software development environments