4
Publications
71
Citations
4
H-Index
2016
Active since
Affiliations
Ahmad A. Alzahrani is an author at Umm al-Qura University specializing in diagnosis, formal verification, and computer engineering.
Top concepts
DiagnosisEngineeringFormal MethodsComputer ScienceIndustrial DesignAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringIndustrial Engineering
Publications per year
2016–2025
4
4
Rows per page
1–4 of 4