HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Mohamed Abdelghany

Publications
Formalization of RBD-based Cause Consequence Analysis in HOL
Mohamed Abdelghany and Sofiene Tahar
EasyChair Preprint 5720

Keyphrases

Cause-Consequence Analysis, Cause-Consequence Diagram, complex system, critical system, dependability modeling technique, Event Tree, higher-order logic, Reliability Block Diagram, theorem proving.

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