|
|
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
by Borrione, Dominique.
Publication:
. VIII, 248 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Correct hardware design and verification methods : , 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings /
Publication:
Berlin ; | New York : Springer, 2005
. xii, 412 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|