In search of effective diversity: a six-language study of fault-tolerant flight control software.

Algirdas Avizienis Michael R. Lyu Werner Schütz

Published in: FTCS (1988)

Keyphrases

fault tolerant
fault tolerance
control software
distributed systems
search space
programming language
language learning
state machine
search algorithm
high availability
real time
control system
load balancing