HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sofiene Tahar

Publications
Formalization of RBD-based Cause Consequence Analysis in HOL
Mohamed Abdelghany and Sofiene Tahar
EasyChair Preprint 5720
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
Waqar Ahmed, Osman Hasan and Sofiene Tahar
In:IWIL-2015. 11th International Workshop on the Implementation of Logics

Keyphrases

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

Copyright © 2012-2025 easychair.org. All rights reserved.