
Dominique Borrione
6 works on record
Works

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

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's

Design, Automation, and Test in Europe Conference and Exhibition

Computer Hardware Description Languages and Their Applications
Correct Hardware Design and Verification Methods
Correct Hardware Design and Verification Methods