Ahmed, Muhammad

Conceptualization of Quarantine / Isolation Management System using Simulation and Modeling Techniques Ahmed, Muhammad 2022 Impact of information communication technologies on traditional masculine behaviours Ahmed, Muhammad 2012 Intelligent Proof Assistance for Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactic Generation and Proof Synthesis in HOL4 Ahmed, Muhammad 2023 Proof Automation for the Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactics Generation and Proof Synthesis in HOL4 Ahmed, Muhammad 2023