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