Vol-1688⫷ Vol-1689 ⫸Vol-1690
urn:nbn:de:0074-1689-0


Vol-1689/paper14⫷Vol-1689/paper15⫸Vol-1689/paper16
Maroua Ben SlimaneImene Ben Hafaiedh

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