Formal reliability analysis of redundancy architectures.

Marco Bozzano Alessandro Cimatti Cristian Mattarei

Published in: Formal Aspects Comput. (2019)

Keyphrases

reliability analysis
fault tree
real world
data mining
decision making
genetic algorithm
control system
fuzzy logic
genetic programming
power plant
optimization model
condition monitoring