Simulation and Verification of an Improved Membership Fault-Tolerant Service in TTP/C.

Yuchen Zhao Qiao Li Qidong Shi Tong Wang

Published in: IECON (2023)

Keyphrases

fault tolerant
fault tolerance
distributed systems
web services
load balancing
high assurance
state machine
high availability
service providers
model checking
artificial intelligence
interconnection networks
fault isolation