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

DOI10.1007/BFB0021709zbMATH Open0825.00114OpenAlexW4236512315MaRDI QIDQ1308629FDOQ1308629

Author name not available (Why is that?)

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)

Cited In (3)

• Title not available (Why is that?)
• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Abstraction of hardware construction

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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. 👍 👎

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)