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 | Dimensions Scopus |