|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Формальная верификация и устойчивость к цензуре протоколов византийского консенсуса на примере IBFTдоклад на конференции
- Авторы: Миронов А.М., Зиборов К.В., Бондарев Н.С., Янович Ю.А.
- Локальная Конференция : Ломоносовские чтения - 2026. Секция Инженерии знаний и доверенного искусственного интеллекта для сложных систем
- Даты проведения конференции: 27-30 марта 2026
- Дата доклада: 30 марта 2026
- Тип доклада: Устный
- Докладчик: Бондарев Н.С.
- Место проведения: Факультет искусственного интеллекта МГУ имени М.В.Ломоносова, Россия
- Добавил в систему: Зубарева Елена Васильевна