TY  - GEN
AU  - Жигулин,Максим Владимирович
AU  - Прокопенко,Светлана Анатольевна
AU  - Евтушенко,Нина Владимировна
ED  - Томский государственный университет
ED  - Томский государственный университет
TI  - Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
KW  - синтез тестов
KW  - труды ученых ТГУ
KW  - конечные автоматы
KW  - статьи в сборниках
N1  - Библиогр.: 5 назв
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378824
ER  -