HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Waqar Ahmed

Publications
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

higher-order logic, Logistic Supply Chain, probability theory, Reliability Block Diagrams.

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