Еленевич, М. А.     Недоопределенная модель автоматической валидации вычислений в системах обработки телеметрической информации космических аппаратов [Текст] / М.А. Еленевич // Сборник докладов научной конференции "Информационные технологии в управлении сложными системами", 24 июня 2011 г., г. Днепропетровск : к 100-летию со дня рождения Михаила Кузьмича Янгеля / НАН Украины; Государственное космическое агентство Украины; Пилипенко В.В., ред. — Днепропетровск : Свидлер А.Л., 2011. — С. 206-209 : табл.