Информация об авторе

Тюгашев, А. А.

Выпуск Раздел Название Файл
Том 3, № 1 (2004) КИБЕРНЕТИКА И ИНФОРМАТИКА Технология проектирования надежных управляющих алгоритмов реального времени для космических аппаратов PDF
(Rus)
Том 6, № 1 (2007) КИБЕРНЕТИКА И ИНФОРМАТИКА Автоматизированная спецификация, верификация и синтез управляющих программ на основе логического и алгебраического подходов PDF
(Rus)
Том 9, № 2 (2010): Специальный выпуск УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА Использование графических языков в жизненном цикле бортового программного обеспечения космических аппаратов PDF
(Rus)
Том 10, № 2 (2011) УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА К вопросу о построении спецификации для бортовых управляющих алгоритмов реального времени PDF
(Rus)
Том 11, № 1 (2012) УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА Визуальный подход к верификации управляющих программ реального времени PDF
(Rus)
Том 11, № 7 (2012) ВЫПУСК БЕЗ РАЗДЕЛОВ Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования PDF
(Rus)
Том 14, № 2 (2015) АВИАЦИОННАЯ И РАКЕТНО-КОСМИЧЕСКАЯ ТЕХНИКА Вычислительный алгоритм формирования программного движения в программном повороте малого космического аппарата PDF
(Rus)

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах