Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов : автореф. дис. на соиск. учен. степ. д-ра техн. наук : специальность 05.13.12 <Системы автоматизации проектирования>
Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов : автореф. дис. на соиск. учен. степ. д-ра техн. наук : специальность 05.13.12 <Системы автоматизации проектирования>