Login / Signup
A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture.
Imene Ben Hafaiedh
Maroua Ben Slimane
Riadh Robbana
Published in:
ICA3PP (2016)
Keyphrases
</>
formal model
management system
statistical analysis
data analysis
distributed systems
security properties
cooperative
peer to peer
theorem proving
loosely coupled
distributed architecture
communication protocols
multi tier
highly distributed
hierarchical architecture
scalable distributed