Dominique Borrione
4 published titles
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 S
(Contributor)
1 edition
- ISBN: 044470194X
- North-Holland
- 1987
- Details
Computer hardware description languages and their application
(Contributor)
1 edition
- ISBN: 1871247918
- North Holland
- 1991
- Details
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, Charme 2005, Saarbrüchen, Germany, October 3-6, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540291053
- Springer
- 2005
- Details
Advances in design methods from modeling languages for embedded systems and SOC's : selected contributions on specification, design, and verification from FDL 2009
(Contributor)
1 edition
- ISBN: 9789048193042
- Springer
- 2010
- Details
