Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings

DOI10.1007/BFB0021709MaRDI QIDQ1308629zbMATH OpenOpenAlexFDO

Authors

Publication date 22 November 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0021709

zbMATH Keywords

ConferenceProceedingsArles (France)CHARME '93Correct hardware designIFIP WG10.2 working conferenceVerification methods

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Correct hardware design and verification methods. 12th IFIP WG 10. 5 advanced research working conference, CHARME 2003, L'Aquila, Italy, October 21--24, 2003. Proceedings
• Correct hardware design and verification methods. 10th IFIP WG 10. 5 advanced research working conference, CHARME '99, Bad Herrenalb, Germany, September 27--29, 1999. Proceedings
• Correct hardware design and verification methods. 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3--6, 2005. Proceedings.
• Correct hardware design and verification methods. 11th IFIP WG 10. 5 advanced research working conference, CHARME 2001, Livingston, Scotland, GB, September 4--7, 2001. Proceedings
• scientific article; zbMATH DE number 52956
• Publication:3030255
• Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22--27, 2006. Advanced lectures.

Cited in

(3)

• scientific article; zbMATH DE number 52931 (Why is no real title available?)
• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Abstraction of hardware construction

This page was built for publication: Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1308629)