|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Метод формальной верификации реализации сетевого протокола для сетевого процессорного устройстватезисы доклада Тезисы
- Авторы: Никифоров Н.И., Волканов Д.Ю.
- Сборник: Ломоносовские чтения-2023: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
- Серия: «Вычислительная математика и кибернетика»
- Тезисы
- Год издания: 2023
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Первая страница: 46
- Последняя страница: 47
- Добавил в систему: Волканов Дмитрий Юрьевич