KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv

Bukhari, Syed Ali Asadullah; Lodhi, Faiq Khalid; Hasan, Osman; Shafique, Muhammad; Henkel, Jörg



Originalveröffentlichung
DOI: 10.1007/978-3-319-17581-2_3
Scopus
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Buchaufsatz
Jahr 2015
Sprache Englisch
Identifikator ISBN: 978-3-319-17580-5
ISSN: 1865-0929, 1865-0937
KITopen-ID: 1000095578
Erschienen in Formal Techniques for Safety-Critical Systems : Third International Workshop (FTSCS 2014), Luxembourg, November 6-7, 2014. Ed.: C. Artho
Verlag Springer International Publishing, Cham
Seiten 32–46
Serie Communications in Computer and Information Science
Vorab online veröffentlicht am 16.04.2015
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page