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

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

Авторов:
761 409

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

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

Форостьянова, Мария Сергеевна

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

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

Ключевые слова:
синтез тестов, древовидные автоматы, TCP, протокол, телекоммуникационные протоколы

Тип: статьи в журналах

Источник: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 67-76

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

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core