|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Разработка модели контура данных программно-конфигурируемой сети для целей инкрементальной верификациидипломная работа (Бакалавр)
- Научный руководитель: Подымов Владислав Васильевич
- Автор: Прудников Олег Сергеевич
- Тип: Бакалавр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2022
- Аннотация: В работе исследуются модель сети, предназначенная для формальной верификации контура данных, и алгоритмы её построения и обновления (перестроения при изменении).
- Добавил в систему: Подымов Владислав Васильевич