D B · D. Borrione · Dominique B.
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's: Selected Contributions on Specification, Design, and Verification ... | 978-90-481-9303-5 (90-481-9303-6) | 2010 | |
| Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbr??cken, Germany, October ... Notes in Computer Science , Band 3725) | 978-3-540-29105-3 (3-540-29105-9) | 2008 | Wolfgang Paul |