Formal Dependability Analysis using Higher-order-logic Theorem Proving
Bibliographic details
Additional authors
Supervisor:Dr. Osman Hasan.
Related catalogue records
Effect of Drainage Density on the Pak Discharge of Catchment by Using HEC Models. Thesis for the degree of M.Sc in Water Resources Management
Ahmad, Waqar
Manual of cooperative societies laws
Ahmad, Waqar
Optimized Machine Learning Techniques for Quality of Transmission Assessment and Fiber Optic Sensing in Optical Networks
Usmani, Fehmida
Segmentation, Classification and Morphometric Analysis of Retinal Vasculature
Badawi Sufian Abdul Qader Abdul Rahman
Formal Semantic Model for Web Applications Security- An Intelligent Approach for Detecting and Classifying Cyber Attacks
Razzaque, Abdul
Formal Analysis of Power Electronics Circuits using Theorem Proving
Ahmad, Asad
A Data-Driven Approach to Automated Analysis of Cyber Threat Intelligence
Noor Umara
Enhancing Person Re-identification by Learning Local Parts Association with Self-attention and Contextual Mapping
Perwaiz, Nazia