апарат космічний, аппарат космический (КА), spacecraft ; алгоритм керування, алгоритм управления ; програма модельована, программа моделируемая

Рассматривается формальная система, разработанная для моделирования бортовых управляющих алгоритмов реального времени космического аппарата, а так же некоторые аспекты построения эквивалентных преобразований моделируемых программ.

Матеріали XI Міжнародної науково-технічної конференції "Авіа-2013", 21-23 травня 2013 р. [Текст] / МОН України, НАН України, Національне космічне агентство України, Національний авіаційний університет ДП "АНТОНОВ" ; Кулик М.С., голова. — Київ : НАУ, 2013. — 548 с.

• ББК науковий // Детали, узлы, системы космических летательных аппаратов
• ББК науковий // Космические летательные аппараты в целом. Ракетная техника (литература общего характера)