|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Исследование и разработка алгоритма формальной верификации и метрики оценки качества на основе методов понижения размерности ИНСдоклад на конференции
- Авторы: Строева Е.Н., Селевенко Р.М.
- Всероссийская с международным участием Конференция : Ломоносовские чтения - 2024. Секция вычислительной математики и кибернетики. Факультет ВМК
- Даты проведения конференции: 20 марта - 3 апреля 2024
- Дата доклада: 20 марта 2024
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Москва, Russia
- Добавил в систему: Врагова Елена Юрьевна