NUST Institutional Repository
Towards the formal performance analysis of multistate coherent system using HOL theorem proving
- DSpace Home
- →
- E-Theses
- →
- SEECS
- →
- Electrical Engineering
- →
- MS
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Murtaza, Shahid Ali | |
| dc.date.accessioned | 2023-08-24T13:49:04Z | |
| dc.date.available | 2023-08-24T13:49:04Z | |
| dc.date.issued | 2019 | |
| dc.identifier.other | 119594 | |
| dc.identifier.uri | http://10.250.8.41:8080/xmlui/handle/123456789/37422 | |
| dc.description | Supervisor: Dr Osman Hasan | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | School of Electrical Engineering and computer Science (SEECS), NUST | en_US |
| dc.title | Towards the formal performance analysis of multistate coherent system using HOL theorem proving | en_US |
| dc.type | Thesis | en_US |
Files in this item
This item appears in the following Collection(s)
-
MS [882]