Verifying Systems with Replicated Components in Mur[b.phiv].

C. Norris Ip David L. Dill

Published in: Formal Methods Syst. Des. (1999)

Keyphrases

complex systems
management system
distributed systems
databases
learning systems
retrieval systems
computing systems
information retrieval
genetic algorithm
e learning
expert systems
relational databases
information retrieval systems
computer systems
fault tolerant
systems require