Библиотека » Информационные Технологии
Set of criteria for efficiency of the process forming the answers to multiple-choice test items
Rybanov A.A., Rybanov A.A. Set of criteria for efficiency of the process forming the answers to multiple-choice test items // Turkish Online Journal of Distance Education. - 2013. - Vol. 14, No. 1. - P. 75-84..
Направления обеспечения надежности программного обеспечения в авиакосмической отрасли
А.А. Тюгашев, Материалы XI Международной научно-технической конференции "Авиа-2013", г. Киев, Том 4, С2212-2215.
Исчисление управляющих алгоритмов реального времени
А.Ю, Богатов, А.А. Тюгашев, Материалы XI Международной научно-технической конференции "Авиа-2013", г. Киев, Том 1, С637-640.
Логическое исчисление управляющих алгоритмов
А.Ю. Богатов, А.А. Тюгашев, Сб. трудов Международного симпозиума "Надежность и качество 2013".
Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования
А.А. Тюгашев, А.В. Шулындин, Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66.
Применение подходов BYOD для построения стратегии информатизации высшего учебного заведения
Иванченко Д.А., Хмельков И.А., Райчук Д.Ю., Митрофанов А.М., Самочадин А.В., Рогов П.А., Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. - 2013.- №3(174). - С.85-92.
The specialized web-catalog of observations of thunderstorm activity on planets of the Solar system
V. N. Tkachev, V. V. Zaharenko, K. Y. Мilostnaya, V. N. Tkachev, V. V. Zaharenko, K. Y. Мilostnaya / The specialized web-catalog of observations of thunderstorm activity on planets of the Solar system // The Strategies of Modern Science Development. II International scientific–practical conference. 4-5 June 2013. - Science Book Publishing....
Автономная верификация микропроцессоров на основе эталонных моделей разного уровня абстракции
Шмелёв В.А., Стотланд И.А., АВТОНОМНАЯ ВЕРИФИКАЦИЯ МИКРОПРОЦЕССОРОВ НА ОСНОВЕ ЭТАЛОННЫХ МОДЕЛЕЙ РАЗНОГО УРОВНЯ АБСТРАКЦИИ Шмелёв В.А., Стотланд И.А. Всероссийская научно-техническая....
Метод динамической верификации модулей системного обмена микропроцессорных вычислительных комплексов
Стотланд И.А., МЕТОД ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ Стотланд И.А. Научно-технический вестник Поволжья. 2012. №....
