Proof Automation for the Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactics Generation and Proof Synthesis in HOL4/ Muhammad Ahmed
Material type:
TextIslamabad, SEECS NUST 2023Description: ill: 93,p: 30,cmSubject(s): MS-Data ScienceDDC classification: 200 Online resources: Click here to access online
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
| Soft Copy | Central Library (CL) | Central Library (CL) | Thesis | 200 (Browse shelf) | Available | CL-T-6885 |
Total holds: 0
There are no comments on this title.