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

DOI10.1007/BFB0021709zbMath0825.00114OpenAlexW4236512315MaRDI QIDQ1308629

No author found.

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

ConferenceProceedingsVerification methodsArles (France)CHARME '93Correct hardware designIFIP WG10.2 working conference

Mathematics Subject Classification ID

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

Related Items (2)

Abstraction of hardware construction ⋮ Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms

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