NUST Institutions Library Catalogue catalog › Details for: Intelligent Proof Assistance for Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactic Generation and Proof Synthesis in HOL4/

Normal view MARC view ISBD view

Intelligent Proof Assistance for Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactic Generation and Proof Synthesis in HOL4/ Muhammad Ahmed

TextIslamabad, SEECS NUST, 2023Description: ill: 93,p: 30,cmSubject(s): MS- Data ScienceDDC classification: 200 Online resources: Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

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-6864

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	200 EXPLOITATION OF SECURITY RISKS IN SOLAR INVERTERS THROUGH REMOTE NETWORK ACCESS/	200 Performance analysis of Beamforming Techniques for THz enabled UAV networks/	200 Patent Semantic Annotation for Practitioners/	200 Intelligent Proof Assistance for Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactic Generation and Proof Synthesis in HOL4/	200 The Role of Networking Behavior and Emotional Intelligence in Subjective Career Success of Managers/	200 FLEXIBLE WORK ARRANGEMENTS AND COVID-19: ANALYZING ORGANIZATIONAL RESPONSE MECHANISMS, EMPLOYEE SUBJECTIVE WELL-BEING AND FUTURE INTENTIONS OF ORGANIZATIONS/	200 EEG based Emotion Recognition/	Next

There are no comments on this title.

to post a comment.