Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01

Похожие документы

• Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
  по: Громов, Максим Леонидович
  Публикация: (2009)
• Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
• Синтез тестов для контроля систем логического управления методами теории экспериментов с автоматами диссертация на соискание ученой степени доктора технических наук : 05.13.01
  по: Евтушенко, Нина Владимировна
  Публикация: (1990)
• Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
  по: Ермаков, Антон Дмитриевич
• Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей
  по: Сухоплюев, Максим Николаевич