NUST Institutions Library Catalogue

Your search returned 3 results.

Not what you expected? Check for suggestions
No cover image available
Proof Automation for the Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactics Generation and Proof Synthesis in HOL4/ Muhammad Ahmed

by Ahmed, Muhammad | Supervisor :Dr. Safdar Abbas Khan.

Material type: Text Text Islamabad, SEECS NUST 2023Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (1).
Place hold Find in NUST Repository
No cover image available
Intelligent Proof Assistance for Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactic Generation and Proof Synthesis in HOL4/ Muhammad Ahmed

by Ahmed, Muhammad | Supervisor: Dr. Safdar Abbas Khan.

Material type: Text Text Islamabad, SEECS NUST, 2023Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (1).
Place hold Find in NUST Repository
No cover image available
Conceptualization of Quarantine / Isolation Management System using Simulation and Modeling Techniques/ Muhammad Ahmed,

by Ahmed, Muhammad | Supervisor Dr. Rabia Irfan.

Material type: Text Text Islamabad; SEECS NUST, 2022Online access: Click here to access online Availability: Items available for loan: Central Library (CL)Call number: 200 (1).
Place hold Find in NUST Repository
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.