Login / Signup

Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip.

Abderahman KriouileWendelin Serwe
Published in: FMICS (2013)
Keyphrases
  • formal analysis
  • formal methods
  • web services
  • computer systems
  • lightweight
  • data access