Материалов:
875 618

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

Авторов:
596 024

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

Страница 5 из 2556

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

Минимизация автоматов с таймаутами и временными ограничениями

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

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

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

Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей

Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов

Римские вопросыБрагинская Нина Владимировна.
Римские вопросы [Электронный ресурс] / пер., коммент. Н

УтопияБрагинская Нина Владимировна.
Утопия [Электронный ресурс] / публ. и примеч. Н.В. Брагинской

Игра в костиБрагинская Нина Владимировна.
Игра в кости [Электронный ресурс] / [публ., коммент. и послесл

Страница 5 из 2556