Поиск
] Qualification tests of the critical software for space systems: target technology of independent verification and latent defect prediction. Kosm. nauka tehnol. 2008 ;14(4):09-26.
Analysis of measurement information in fault-tolerant board telemetering systems with request categorization. Kosm. nauka tehnol. 1999 ;5(1):69–73.
Methods of the multiparametric adaptation of spaceborne control and computing systems with separate majority reservation. Kosm. nauka tehnol. 1999 ;5(5):81–91.
The model of operation of spacecraft board computer systems with request categorization taking into account hardware and software faults. Kosm. nauka tehnol. 1999 ;5(5):103–109.
Choice of design technologies and basic architectures for the defect-tolerant digital control and computing real-time systems. Kosm. nauka tehnol. 1997 ;3(3):109–119.
Structure algorithm organization and reliability models of reserved systems. Kosm. nauka tehnol. 1995 ;1(1):74–79.