Formal verification of distributed dynamic thermal management
| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2013 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4799-1069-4 KITopen-ID: 1000038850 |
| Erschienen in | IEEE/ACM International Conference on Computer-Aided Design (ICCAD'13), San Jose, California/USA, November 18-21, 2013 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 248-255 |
| Nachgewiesen in | Dimensions |