Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2016 |
Sprache | Englisch |
Identifikator | ISSN: 0740-7459, 1937-4194 KITopen-ID: 1000060154 |
Erschienen in | IEEE software |
Verlag | IEEE Computer Society |
Band | 33 |
Heft | 1 |
Seiten | 56-65 |
Nachgewiesen in | Dimensions Web of Science Scopus |
Globale Ziele für nachhaltige Entwicklung |