External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Abderahman Kriouile, Wendelin Serwe. Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. In Charles Pecheur, Michael Dierkes, editors, Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings. Volume 8187 of Lecture Notes in Computer Science, pages 108-122, Springer, 2013. [doi]

Authors

Abderahman Kriouile

This author has not been identified. Look up 'Abderahman Kriouile' in Google

Wendelin Serwe

This author has not been identified. Look up 'Wendelin Serwe' in Google
runs on