
The Redundant Variables Method for Checking and Correction of Computing Processes in Real Time. Part 2
Author(s) -
M. B. Ignat'ev,
Tat'jana Sergeevna Katermina
Publication year - 2014
Publication title -
trudy spiiran
Language(s) - English
Resource type - Journals
eISSN - 2078-9599
pISSN - 2078-9181
DOI - 10.15622/sp.33.4
Subject(s) - computer science , equivalence (formal languages) , reliability (semiconductor) , redundancy (engineering) , error detection and correction , variable (mathematics) , algorithm , reliability engineering , mathematics , engineering , discrete mathematics , mathematical analysis , power (physics) , physics , quantum mechanics , operating system