Author:Sofiene Tahar

Keyphrases

Cause-Consequence Analysis, Cause-Consequence Diagram, complex system, critical system, dependability modeling technique, Event Tree, higher-order logic², Logistic Supply Chain, probability theory, Reliability Block Diagram, Reliability Block Diagrams, theorem proving.