A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems
Dörr, Tobias
; Sandmann, Timo; Becker, Jürgen
; Sandmann, Timo; Becker, Jürgen
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsmonat/-jahr | 08.2020 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-72819-535-3 KITopen-ID: 1000124782 |
| Erschienen in | 2020 23rd Euromicro Conference on Digital System Design (DSD) |
| Veranstaltung | 23rd Euromicro Conference on Digital System Design (DSD 2020), Online, 26.08.2020 – 28.08.2020 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 596–603 |
| Bemerkung zur Veröffentlichung | Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt |
| Nachgewiesen in | Dimensions |