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

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

• Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
  по: Жигулин, Максим Владимирович
  Публикация: (2012)
• Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
  по: Жигулин, Максим Владимирович
  Публикация: (2012)
• Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
• Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов: Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
  по: Коломеец, А. В. Антон Владимирович
  Публикация: (2010)
• Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
  по: Каширова, Лилия Федоровна
  Публикация: (1991)