Towards a validated core memory model through (MP)SoC events.

Alfonso Mascareas Gonzlez, Frdric Boniol, Benjamin Lesage, Claire Pagetti

Browse the full ISORC paper archive.