NUST Institutional Repository
Formal Verification of Thermal Aware Architectures for Multi Core Systems
- DSpace Home
- →
- E-Theses
- →
- SEECS
- →
- Information Technology
- →
- MS
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Muhammad Ismail | |
| dc.date.accessioned | 2022-11-02T07:24:40Z | |
| dc.date.available | 2022-11-02T07:24:40Z | |
| dc.date.issued | 2013 | |
| dc.identifier.uri | http://10.250.8.41:8080/xmlui/handle/123456789/31490 | |
| dc.description | SEECSP01270 | en_US |
| dc.description.sponsorship | Sup. Osman Hasan | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | School of Electrical Engineering and Computer Sciences (SEECS) NUST | en_US |
| dc.subject | MSEE SEECS 2013 | en_US |
| dc.title | Formal Verification of Thermal Aware Architectures for Multi Core Systems | en_US |
| dc.type | Thesis | en_US |
Files in this item
This item appears in the following Collection(s)
-
MS [432]