Supervisor Dr. Osman Hasan
Catalogue records by Supervisor Dr. Osman Hasan in the PakCat Union Catalogue.
5 catalogue recordsCatalogue records
Formal Analysis of Power Electronics Circuits using Theorem Proving
Ahmad, Asad
2022
Formal Dependability Analysis using Higher-order-logic Theorem Proving
Ahmad, Waqar
2017
Formal Verification of Dynamic Thermal Management for Many Core Systems
Bukhari Syed Ali Asadullah
2022
Formalization of transform methods using higher-order-logic theorem proving
Rashid, Adnan
2019
Hardware Trojan Detection in Approximate Circuits Using Side Channel Analysis
Fatima, Manal
2022