|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Метод формальной верификации реализации сетевого протокола для сетевого процессорного устройствадоклад на конференции
- Авторы: Волканов Д.Ю., Никифиров Н.И.
- Всероссийская Конференция : Ломоносовские чтения - 2023, Секция вычислительная математика и кибернетика, 4-14 апреля 2023
- Даты проведения конференции: 4-14 апреля 2023
- Дата доклада: 6 апреля 2023
- Тип доклада: Устный
- Докладчик: Волканов Д.Ю.
- Место проведения: Москва, МГУ, факультет ВМК, Russia
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Врагова Елена Юрьевна