По вашему запросу найдено документов: 20277
Страница 1 из 2028
О сложности проверки существования установочных последовательностей для недетерминированных автоматов
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01.
Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01.
Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
Страница 1 из 2028
Фасеты
Партнеры
Индексация
