|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Формальная верификация протокола консенсуса, обладающего византийской отказоустойчивостью, посредством системы дедуктивной верификации протоколовдипломная работа (Специалист)
- Научный руководитель: Миронов Андрей Михайлович
- Автор: Уткин Глеб Игоревич
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2025
- Добавил в систему: Миронов Андрей Михайлович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | файл содержащий текст дипломной работы | 611_Уткин_диплом.pdf | 344,1 КБ | 19 мая 2025 [amironov66] |