Библиотека » Информационные Технологии » Системы реального времени
Агентный подход
И. А. Луценко, Агентный подход [Электронный ресурс] — Режим доступа : \WWW/ URL: http://delo-do.com.ua/step1/step1-1.html — 07.11.2011 г. — Загл. с экрана..
Регистрационная модель технологической операции
И. А. Луценко, Регистрационная модель технологической операции [Электронный ресурс] — Режим доступа : \WWW/ URL: http://delo-do.com.ua/step3/step3-1.html — 08.02.2012 г. — Загл. с экрана..
Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для КА
Калентьев А.А., Тюгашев А.А., Тез.докладов 11-й Международной конференции "Системный анализ, управление и навигация". Евпатория, 2006..
Использование графического подхода при верификации циклограмм управления космическими аппаратами
Калентьев А.А., Тюгашев А.А., Тез. докл. 14-й международной конференции "Системный анализ, управление и навигация": Изд-во МАИ Евпатория, 2009..
Автоматизация проектирования и отладки бортовых управляющих алгоритмов CASE-средствами
Калентьев А.А., Тюгашев А.А., 7-ая Международная конференция «Системный анализ и управление», г. Евпатория. Тезисы докладов.
Неоднозначность порождения логической схемы управляющего алгоритма реального времени
Тюгашев А.А., Перспективные информационные технологии в научных исследованиях, проектировании и обучении. Сб.научн.трудов, посвященный 25-летию фак-та информатики. СГАУ....
Проблема переполнения при кодировании векторов логики в системе ГРАФКОНТ
А,А, Тюгашев, А.А. Калентьев, Я.А. Мостовой, Надежность и качество. Инновационные технологии производству XXI века / Книга докладов Международн. симпозиума, посвящ. 275-летию РАН.-Под ред. А.Н. Андреева, А.В.....
CASE-технология автоматизированного проектирования бортовых управляющих алгоритмов реальногов времени
Калентьев А.А., Тюгашев А.А., Тезисы докладов I-й Международной молодежной школы-семинара БИКАМП-98 22-26 июня 1998 г. - СПб: Изд-во Санкт-Петербургского государственного университета....
Технология проектирования надежных и качественных алгоритмов управления реального времени
Калентьев А.А., Тюгашев А.А., Надежность и качество: Труды международного симпозиума: в 2-х ч. Ч1/ Под ред. Н.К. Юркова.- Пенза:Изд-во Пенз.гос.ун-та, 2004 С.249 ISBN 5-94170-031-8.
Автоматизация оценивания временных характеристик программ управления комплексного функционирования в технологии ГРАФКОНТ
Тюгашев А.А., Надежность и качество. Труды международного симпозиума / Под ред. Н.К. Юркова.-Пенза: Изд-во Пенз. гос. уни-та, 2003 С. 198-201 ISBN 5-94170-031-8.
