Поиск
Главная
Результаты
Исследователи
Структура
Проекты
Наборы данных
Деятельность
Пресса/СМИ
О портале
Формирование тестовых последовательностей с помощью SAT-решателя
Результаты исследований
:
Научные публикации в периодических изданиях
›
статья
MK.3021.2014 Системный анализ, информатика и управление
Кафедра компьютерного моделирования и многопроцессорных систем
Обзор
Цитировать
П.А. Федюкович
Е.В. Елаев
Н.С. Мащинский
В.М. Гришкин
Язык оригинала
русский
Страницы (с-по)
521-526
Журнал
Процессы управления и устойчивость
Состояние
Опубликовано -
2015
ID: 5797353