Correct Hardware Design and Verification Methods : 10th IFIP WG10.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.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /
  অনুযায়ী: Dominique Borrione, Wolfgang Paul
  প্রকাশিত: (2005, c2005)
• Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
  অনুযায়ী: Tiziana Margaria, Tom Melham
  প্রকাশিত: (2001, c2001)
• 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 /
  অনুযায়ী: Daniel Geist, Enrico Tronci
  প্রকাশিত: (2003, c2003)
• Formal Hardware Verification : Methods and Systems in Comparison /
  অনুযায়ী: Thomas Kropf
  প্রকাশিত: (1997, c1997)
• Introduction to Formal Hardware Verification /
  অনুযায়ী: Kropf, Thomas
  প্রকাশিত: (1999, c1999)