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.

ArChiVED: Architectural checking via event digests for high performance validation

Chang-Hong Hsu, Debapriya Chatterjee, Ronny Morad, Raviv Gal, Valeria Bertacco. ArChiVED: Architectural checking via event digests for high performance validation. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014. pages 1-6, IEEE, 2014. [doi]

Authors

Chang-Hong Hsu

This author has not been identified. Look up 'Chang-Hong Hsu' in Google

Debapriya Chatterjee

This author has not been identified. Look up 'Debapriya Chatterjee' in Google

Ronny Morad

This author has not been identified. Look up 'Ronny Morad' in Google

Raviv Gal

This author has not been identified. Look up 'Raviv Gal' in Google

Valeria Bertacco

This author has not been identified. Look up 'Valeria Bertacco' in Google
runs on