Refine your search
Availability
-
Bibliographic level
-
Authors
- Прокопенко, Светлана Анатольевна (7)
- Коломеец, Антон Владимирович (4)
- Шабалдина, Наталия Владимировна (3)
- Евтушенко, Нина Владимировна (2)
- Prokopenko, Svetlana A. (1)
- Болтова, Виктория Сергеевна (1)
- Громов, Максим Леонидович (1)
- Дарусенкова, Екатерина Владимировна (1)
- Жигулин, Максим Владимирович (1)
- Лештаев Максим Александрович (1)
- Михайлов, Юрий Владимирович (1)
- Михайлова, Александра Николаевна (1)
- Никитин, Александр Леонидович (1)
- Федосеев, А. О. (1)
- Форостьянова, Мария Сергеевна (1)
- Широкова, Екатерина Владимировна (1)
- Show more
- Show less
-
Topics
- расширенные автоматы (12)
- труды ученых ТГУ (6)
- информационные технологии (4)
- конечные автоматы (4)
- проверяющие тесты (3)
- диагностические тесты (2)
- дискретные структуры (2)
- DCCP, протокол (1)
- автоматные сети (1)
- аппаратные средства (1)
- информационные системы (1)
- конечно-автоматные модели (1)
- контекстно-свободные расширенные автоматы (1)
- модели конечного автомата (1)
- параллельная композиция расширенных автоматов (1)
- параллельные композиции (1)
- построение параллельных композиций (1)
- программные инструменты (1)
- программные реализации протоколов (1)
- программные средства (1)
- различающая последовательность (1)
- сетевые протоколы (1)
- синтез тестов (1)
- тестирование программ (1)
- тестирование программного обеспечения (1)
- тесты (1)
- Show more
- Show less