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

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

• Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
  по: Прокопенко, Светлана Анатольевна
  Публикация: (2000)
• Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
  по: Громов, Максим Леонидович
  Публикация: (2009)
• Locating a faulty component of an EFSM composition
  по: Prokopenko, Svetlana A.
• Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
  по: Каширова, Лилия Федоровна
  Публикация: (1991)
• Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
  по: Куфарева, Ирина Борисовна
  Публикация: (2000)