Dominique Borrione

• Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's
• Advances In Design Methods From Modeling Languages For Embedded Systems And Socs Selected Contributions On Specification Design And Verification From Fdl 2009
• Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
• Computer Hardware Description Languages and Their Applications
• Design, Automation, and Test in Europe Conference and Exhibition
• Correct Hardware Design and Verification Methods