Jump to main content

yr 〜
yr

Search results 6

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)
Paper図書
Springerc2005.<M17-05-2680>
National Diet Library
  • Author Heading...puter Science. Borrione, Dominique. Paul, Wolfgang J., 1951- CHAR...

Advances in design methods from modeling languages for embedded systems and SoC's : selected contributions on specification, design, and verification from FDL 2009

Advances in design methods from modeling languages for embedded systems and SoC's : selected contributions on specification, design, and verification from FDL 2009
Paper図書
Dominique Borrione, editorSpringerc2010
Other Libraries in Japan

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 : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings
Paper図書
Dominique Borrione, Wolfgang Paul (eds.)Springerc2005
Other Libraries in Japan

Proceedings : Design, Automation and Test in Europe Conference and Exhibition 1999 : Munich, Germany March 9-12, 1999 : soft

Proceedings : Design, Automation and Test in Europe Conference and Exhibition 1999 : Munich, Germany March 9-12, 1999 : soft
Paper図書
sponsored by EDAA ... [et al.] ; in cooperation with AEIA ... [et al.] ; editors, Dominique Borrione, Rolf ErnstIEEE Computer Societyc1999
Other Libraries in Japan

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and Their Applications, Marseille, France, 22-24 April 1991

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and Their Applications, Marseille, France, 22-24 April 1991
Paper図書
edited by Dominique Borrione, Ronald WaxmanNorth-Holland1991
Other Libraries in Japan

From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986

From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986
Paper図書
edited by Dominique Borrione and IMAG/ARTEMISNorth-Holland1987
Other Libraries in Japan

Reached to the end of result.

RSS