Логические методы и средства автоматизации качественного анализа двоичных динамических систем

Руководитель: Опарин Геннадий Анатольевич

Тип проекта: РФФИ

Конкурс:

Номер: 18-07-00596
Номер ЦИТИС: АААА-А18-118012290008-8

Дата начала: 01.01.2018
Дата завершения: 31.12.2020

URL:

Описание:

По данному проекту в системе не зарегистрировано публикаций