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