External Links

Cite Key

Statistics

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

PDF

Tags

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.

HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment

Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman M. Wahba. HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. In Mandayam K. Srivas, Albert John Camilleri, editors, Formal Methods in Computer-Aided Design, First International Conference, FMCAD 96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Volume 1166 of Lecture Notes in Computer Science, pages 450-467, Springer, 1996.

Authors

Dominique Borrione

This author has not been identified. Look up 'Dominique Borrione' in Google

H. Bouamama

This author has not been identified. Look up 'H. Bouamama' in Google

David Déharbe

This author has not been identified. Look up 'David Déharbe' in Google

C. Le Faou

This author has not been identified. Look up 'C. Le Faou' in Google

Ayman M. Wahba

This author has not been identified. Look up 'Ayman M. Wahba' in Google
runs on