Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture.

Imene Ben Hafaiedh, Maroua Ben Slimane

Browse the full VECoS paper archive.