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

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

Bibliographic Details
Published in:Труды Института системного программирования РАН Т. 26, вып. 6. С. 67-76
Main Author: Форостьянова, Мария Сергеевна
Corporate Author: Томский государственный университет Научное управление Лаборатории НУ
Format: Article
Language:Russian
Subjects:
синтез тестов
древовидные автоматы
TCP, протокол
телекоммуникационные протоколы
статьи в журналах
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505205
Перейти в каталог НБ ТГУ

Internet

http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505205
Перейти в каталог НБ ТГУ

Similar Items