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

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

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

Конкурс:

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

Дата начала: 2018-01-01 00:00:00
Дата завершения: 2020-12-31 00:00:00

URL:

Описание:

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