Метод и программные средства статического анализа описаний цифровой аппаратуры для выявления дефектов проектирования
Чуркин, Ян Андреевич, 2026, кандидатская диссертация
Институт системного программирования им. В.П. Иванникова Российской академии наук ; Диссовет 24.1.120.01 (Д 002.087.01), Москва
Другие работы по этой специальности
- Программный комплекс анализа показателей жизнедеятельности человека с использованием самоадаптирующейся микросервисной архитектуры
Фахрутдинов, Адель Фердинандович · 2026 · Канд. наук · «Уфимский университет науки и технологий» ; Диссовет 24.2.479.07
- Модель, алгоритм и программное средство квалификации неструктурированных данных в автоматизированных системах сбора информации
Алексеева, Дарья Сергеевна · 2026 · Канд. наук · «Уфимский университет науки и технологий» ; Диссовет 24.2.479.07
- Методы высокопроизводительной цифровой обработки сигналов на основе вычислений в системе остаточных классов
Ляхов, Павел Алексеевич · 2026 · Докт. наук · «Санкт-Петербургский Федеральный исследовательский центр Российской академии наук» ; Диссовет 24.1.206.01 (Д 002.199.01)
- Интеллектуальная система для хранения, визуализации и обработки гиперспектральных данных
Мухин, Артем Владимирович · 2026 · Канд. наук · «Самарский национальный исследовательский университет имени академика С.П. Королева» ; Диссовет 24.2.379.09 (Д 212.215.XX)
- Методы и средства защиты медиаконтента на основе цифровых водяных знаков
Якушев, Алексей Юрьевич · 2026 · Канд. наук · Институт системного программирования им. В.П. Иванникова Российской академии наук ; Диссовет 24.1.120.01 (Д 002.087.01)