KIT | KIT-Bibliothek | Impressum | Datenschutz

A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems

Dörr, Tobias; Sandmann, Timo; Becker, Jürgen



Originalveröffentlichung
DOI: 10.1109/DSD51259.2020.00098
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 (2020), online, 26.08.2020 – 28.08.2020
Verlag IEEE, Piscataway, NJ
Seiten 596–603
Bemerkung zur Veröffentlichung Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page