Title: New Methods of Concurrent Checking
Subjects: Electronic circuit design, Error-correcting codes (information theory), Concurrent engineering