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

Tobias Dörr, Timo Sandmann, Jürgen Becker 0001. A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems. In 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020. pages 596-603, IEEE, 2020. [doi]

@inproceedings{DorrS020,
  title = {A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems},
  author = {Tobias Dörr and Timo Sandmann and Jürgen Becker 0001},
  year = {2020},
  doi = {10.1109/DSD51259.2020.00098},
  url = {https://doi.org/10.1109/DSD51259.2020.00098},
  researchr = {https://researchr.org/publication/DorrS020},
  cites = {0},
  citedby = {0},
  pages = {596-603},
  booktitle = {23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020},
  publisher = {IEEE},
  isbn = {978-1-7281-9535-3},
}