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-5090-0898-8 KITopen-ID: 1000171023 |
Erschienen in | 2016 IEEE International Conference on Smart Computing (SMARTCOMP) |
Veranstaltung | IEEE International Conference on Smart Computing (SMARTCOMP 2016), St. Louis, MO, USA, 18.05.2016 – 20.05.2016 |
Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
Seiten | 1-6 |
Nachgewiesen in | Dimensions Scopus |