| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2016 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4503-4482-1 KITopen-ID: 1000063343 |
| Erschienen in | Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2016 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | Art. Nr.: 2974013 |
| Bemerkung zur Veröffentlichung | 2016 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2016; Pittsburgh Marriott City CenterPittsburgh; United States; 1 October 2016 through 7 October 2016 |
| Nachgewiesen in | OpenAlex Scopus Dimensions |
| Globale Ziele für nachhaltige Entwicklung |