Imene Benhafaiedh, Maroua Ben Slimane. Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. In Mohamed Ghazel, Mohamed Jmaiel, editors, Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Volume 1689 of CEUR Workshop Proceedings, pages 177-192, CEUR-WS.org, 2016. [doi]
Abstract is missing.