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

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

• Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
  по: Громов, Максим Леонидович
  Публикация: (2009)
• Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
• Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
  по: Коломеец, Антон Владимирович
  Публикация: (2010)
• A practical approach for testing timed deterministic finite state machines with single clock
  по: El-Fakih, Khaled
• Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами
  по: Жигулин, Максим Владимирович