Поиск

Материалов:
980 144

Репозиториев:
30

Авторов:
596 024

Автор

Ключевое слово

Тип статьи

DOI

ORCID

Дополнительно:

Период публикации

Репозиторий

По вашему запросу найдено документов: 8583

Страница 3 из 859

Синтез условных различающих экспериментов для автоматов с недетерминированным поведением

Громов, Максим Леонидович, Евтушенко, Нина Владимировна

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.

Громов, Максим Леонидович

К синтезу тестов по мутационному автомату

Громов, Максим Леонидович, Дорофеева, Маргарита Юрьевна, Коломеец, Антон Владимирович

Проверка свойств конечных автоматов с помощью набора инструментов mCRL2

Громов, Максим Леонидович, Лапутенко, Андрей Владимирович

Метод построения полного проверяющего теста для входо-выходных полуавтоматов

Громов, Максим Леонидович

Оптимизация клиентской компоненты по критерию отсутствия лишних диалогов с сервером

Громов, Максим Леонидович, Прокопенко, Светлана Анатольевна, Сотников, Александр Павлович, Шабалдина, Наталия Владимировна

Разработка макета системы активной инфракрасной локации: выпускная бакалаврская работа по направлению подготовки: 03.03.03 - Радиофизика

Фоминых, Александра Федоровна

Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами

Шатилов, Никита Петрович, Громов, Максим Леонидович

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

Оленюк, Евгения Петровна, Громов, Максим Леонидович

К упрощению сколемовых функций в булевых формулах с кванторами

Шатилов, Никита Петрович, Громов, Максим Леонидович

Страница 3 из 859