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.

DOI10.1007/11560548zbMATH Open1089.68002OpenAlexW2483257485MaRDI QIDQ2493588

Author name not available (Why is that?)

Publication date: 22 June 2006

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

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

This page was built for publication: 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.

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