NUST Institutional Repository
Formal Verification of Thermal Aware Architectures for Multi Core Systems
Login
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.
Formal Verification of Thermal Aware Architectures for Multi Core Systems
Muhammad Ismail
URI:
http://10.250.8.41:8080/xmlui/handle/123456789/31490
Date:
2013
Description:
SEECSP01270
Show full item record
Files in this item
Name:
Formal Verification ...
Size:
5.763Mb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
MS
[432]
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register