Логические методы и средства автоматизации качественного анализа двоичных динамических систем
Руководитель: Опарин Геннадий Анатольевич
Тип проекта: РФФИ
Конкурс:
Номер: 18-07-00596
Номер ЦИТИС: АААА-А18-118012290008-8
Дата начала: 2018-01-01 00:00:00
Дата завершения: 2020-12-31 00:00:00
URL:
Описание: