New methods of concurrent checking - Goessel, M.; SpringerLink (Online service) (Dordrecht : Springer Science+Business Media B.V., 2008)
Keywords: Electronic circuit design; Error-correcting codes (Information theory); Concurrent engineering; Engineering; Circuits and Systems; Simulation and Modeling