KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1109/WETICE.2015.39
Scopus
Zitationen: 2

Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems

Iqtedar, Shafaq; Hasan, Osman; Shafique, Muhammad; Henkel, Jörg



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2015
Sprache Englisch
Identifikator ISBN: 978-1-4673-7692-1
KITopen ID: 1000052832
Erschienen in Proceedings, 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises : 15-17 June 2015, Larnaca, Cyprus. Ed.: S.M. Reddy
Verlag IEEE Computer Society, Los Alamitos
Seiten 210-215
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page