Поиск

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

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

Авторов:
596 024

Автор

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

Тип статьи

DOI

ORCID

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

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

Репозиторий

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

Страница 1 из 2267

Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата

Жигулин, Максим Владимирович, Коломеец, Антон Владимирович, Евтушенко, Нина Владимировна, Прокопенко, Светлана Анатольевна

Проверка переходов в расширенном автомате на основе срезов

Михайлов, Юрий Владимирович, Коломеец, Антон Владимирович

Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.

Коломеец, Антон Владимирович

Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата

Коломеец, Антон Владимирович, Прокопенко, Светлана Анатольевна

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

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

Обработка изображений с использованием технологии машинного обучения: магистерская диссертация по направлению подготовки: 03.04.03 - Радиофизика

Зайцев, Александр Артемович

Коды, исправляющие ошибки : учебно-методический комплекс

Евтушенко, Нина Владимировна, Коломеец, Антон Владимирович, Попов, Дмитрий Дмитриевич

О разностях по модулю 2n, с высокой вероятностью проходящих через ARX-преобразование

Мокроусов, Антон Сергеевич, Коломеец, Николай Александрович

Комбинированный метод съемки земной поверхности

Кафтан Антон Владимирович, Докукин Петр Александрович, Поддубский Антон Александрович

Современные тенденции в развитии эколингвистики

Суховерхов, Антон Владимирович

Страница 1 из 2267