KIT | KIT-Bibliothek | Impressum

Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes

Sardar, Muhammad Usama; Hasan, Osman; Shafique, Muhammad; Henkel, Jörg



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Zeitschriftenaufsatz
Jahr 2017
Sprache Englisch
Identifikator DOI: 10.1016/j.jpdc.2016.06.011
ISSN: 0743-7315, 1096-0848
KITopen ID: 1000071121
Erschienen in Journal of parallel and distributed computing
Band 100
Seiten 157-171
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page