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

Tobias Drr, Timo Sandmann, Jrgen Becker

Browse the full DSD paper archive.