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 1; Henkel, Jörg 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-17581-2_3
Scopus
Zitationen: 4
Dimensions
Zitationen: 4
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Buchaufsatz
Publikationsjahr 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
Seiten 32–46
Serie Communications in Computer and Information Science
Vorab online veröffentlicht am 16.04.2015
Nachgewiesen in OpenAlex
Dimensions
Scopus
Globale Ziele für nachhaltige Entwicklung Ziel 10 – Weniger Ungleichheiten
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page