Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv
| 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 | Scopus Dimensions |