A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture.

Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana

Browse the full ICA3PP paper archive.