Информация об авторе
Богатов, А. Ю., Самарский государственный аэрокосмический университет имени академика С.П. Королёва (национальный исследовательский университет), Россия
| Выпуск | Раздел | Название | Файл |
| Том 10, № 2 (2011) | УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА | К вопросу о построении спецификации для бортовых управляющих алгоритмов реального времени |
 (Rus) |
| Том 11, № 1 (2012) | УПРАВЛЕНИЕ, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И ИНФОРМАТИКА | Визуальный подход к верификации управляющих программ реального времени |
(Rus) |