New methods of concurrent checking [electronic resource] / by Michael Goessel ... [et al.]. - Dordrecht : Springer Science+Business Media B.V., 2008. - 183 p. : ill., digital ; 24 cm. - Frontiers in electronic testing ; 42 . ISBN: 9781402084201 (electronic bk.) 9781402084195 (paper) Subjects--Topical Terms: Electronic circuit design.Error-correcting codes (Information theory)Concurrent engineering.Engineering.Circuits and Systems.Simulation and Modeling. Dewey Class. No.: 621.395