KIT | KIT-Bibliothek | Impressum

Formal Probabilistic Analysis of Distributed Dynamic Thermal Management

Iqtedar, S.; Hasan, O.; Shafique, M.; Henkel, J.



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2015
Sprache Englisch
Identifikator ISBN: 978-1-4799-6404-8
ISSN: 1530-1591
KITopen ID: 1000052933
Erschienen in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE 2015) : Grenoble, France, 9 - 13 March 2015
Verlag IEEE, Piscataway (NJ)
Seiten 1221-1224
Serie Proceedings -Design, Automation and Test in Europe, DATE
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page