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