Найдено научных статей и публикаций: 2, для научной тематики: Реальное время
1.
Тюгашев А.А., Шулындин А.В.
- СГАУ , 2012
описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ реального времени для космических аппаратов...
описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ реального времени для космических аппаратов
Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского
семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос.
аэрокосм. ун-т. Самара, 2012 С 157-160
2.
Калентьев А.А., Тюгашев А.А.
- СГАУ , 1997
представлена многовариантная модель управляющего лгоритма реального времени...
представлена многовариантная модель управляющего лгоритма реального времени
Управление движением и навигация летательных аппаратов: Сб. тр. VII Всероссийского научно-техн. семинара по управлению движением и навигации летательных аппаратов Ч.1 / СГАУ, Самара, 1996 С.97 ISBN 5-7217-0021-1