Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems
| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |
| Seiten | 210-215 |
| Nachgewiesen in | Dimensions Scopus |