Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Hochschulschrift |
Publikationsjahr | 2019 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000171309 |
Verlag | Syddansk Universitet |
Umfang | XXV, 148 S. |
Art der Arbeit | Dissertation |
Referent/Betreuer | Lazarova-Molnar, Sanja Kragh, Mikkel K. |