|
|
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
by Yoeli, Michael,
Publication:
Hoboken, N.J. : Wiley-Interscience, 2008
. xv, 231 p. :
25 cm.
Date:2008
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),
|
|
|
Functional verification of programmable embedded architectures : , a top-down approach /
by Mishra, Prabhat,
Publication:
New York : Springer, 2005
. xviii, 180 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(1),
|
|