A Formal Approach to Distributed System Tests Design.

Andrey A. Shchurov Radek Marik

Published in: CoRR (2014)

Keyphrases

distributed systems
fault tolerant
case study
software architecture
distributed environment
distributed computing
operating system
mobile agents
load balancing
fault tolerance
user interface
geographically distributed
formal methods
high assurance