Материалов:
1 081 645

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

Авторов:
761 409

расширенный поиск

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

Ермаков, Антон Дмитриевич

Дата публикации: 2017

Дата публикации в реестре: 2020-03-03T19:43:36Z

Аннотация:

Загл. с титульного экрана

Электронная копия печатного автореферата

Ключевые слова:
Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)

Тип: авторефераты диссертаций

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core