New Methods of Concurrent Checking - Gössel, Michael; Ocheretny, Vitaly; Sogomonyan, Egor.; Marienfeld, Daniel; SpringerLink (Online service) (Dordrecht : Springer Netherlands : Imprint: Springer, 2008)
Physical Faults and Functional Errors -- Principles of Concurrent Checking -- Concurrent Checking for the Adders.
Keywords: Electrical engineering; Electronic circuits; Computer simulation; Electrical Engineering; Circuits and Systems; Simulation and Modeling