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.