1
Published 2006
Springer US
Table of Contents: ... by Evolutionary Algorithms -- Validation of Asynchronous Circuit Specifications Using IF/CADP -- On-Chip Property...

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... platforms and ASICs for self-validating sensors -- PostScript™ rendering with virtual hardware -- P4: A...