Formal verification of distributed dynamic thermal management schemes using HOL4
Material type:
TextPublisher: Islamabad NUST-SEECS 2015Description: 50p. ill.; CD ROMDDC classification: MSEE-4 SAR Online resources: Click here to access online
| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Project Report
|
Central Library (CL) | Central Library (CL) | REF | Reference | MSEE-4 SAR (Browse shelf) | Available | SEECSP01763 |
Total holds: 0
Dr. Osman Hasan, Dr. Muhammad Shafique, Dr. Muhammad Usman Ilyas, Syeda Hira Taqdees
There are no comments on this title.