Sign in
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams.
Yassmeen Elderhalli
Osman Hasan
Sofiène Tahar
Published in:
CoRR (2019)
Keyphrases
</>
dynamic environments
artificial intelligence
databases
information systems
knowledge base
computational complexity
knowledge based systems
reliability analysis