Search
Dynamic testing of on-board embedded computer software of missile and spacecraft control system. Kosm. nauka tehnol. 1997 ;3(1):61–74.
. 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.
.