Show Menu
Hide Menu
Исследовательская лаборатория по информатике
От директора
Структура управления
Структура
Дирекция
Административная служба
IT Service
Совет по науке
Совет лаборатории
Совет по науке
Teaching
Как нас найти
Поиск
Axes & Teams
Публикации
Проекты
ERC Projects
European Projects
Priority Research Programmes and Equipments
Joint Laboratories
ANR Projects
Годовой отчет
Оценка
Our skills
Works with us
Software
Патенты
Start-ups
Работа
Справочник
коллоквиум
🔒
📫
🇷🇺
🇫🇷
🇬🇧
🇷🇺
-
Computer Science Laboratory
Работа
Диссертация : Formal Verification by Abstract Interpretation of Functional Correctness Properties of Neural Networks
Sorry, no longer relevant