A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams.

Yassmeen Elderhalli Osman Hasan Sofiène Tahar

Published in: ICFEM (2019)

Keyphrases

databases
neural network
information retrieval
genetic algorithm
dynamic environments
data mining
machine learning
database systems
dynamically changing