Єфімова, Т.І.; Мудла, Б.Г.; Шалейко, О.М.
(Математичні машини і системи, 2009)
У статті розглянуті проблеми створення стійкого до відмов програмного забезпечення для гарантоздатних бортових автономних комплексів довготривалого функціонування. Проведено аналіз сучасного стану проблеми. Описані різні ...