Альтернативы поиска:
"временные автоматы" » "временное автоматы" (Расширить поиск), "современные автоматы" (Расширить поиск)
Отображение 1 - 19 результаты of 19 для поиска '"временные автоматы"', время запроса: 0.12сек. Отмена результатов
  1. 1
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Предметы: “...временные автоматы...”
    Полный текст
    Электронная книга
  2. 2
    Conformance relations for finite state machines with timeouts
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  3. 3
    Решение автоматных уравнений для временных автоматов относительно параллельной композиции
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  4. 4
    Параллельная композиция конечных автоматов с таймаутами
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  5. 5
    К минимизации автоматов с таймаутами
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в сборнике
  6. 6
    О минимизации временных автоматов
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в сборнике
  7. 7
    Minimizing deterministic timed finite state machines
    Опубликовано в: IFAC-PapersOnLine
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  8. 8
    Минимизация автоматов с таймаутами и временными ограничениями
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  9. 9
    Программная реализация преобразования глобального полуавтомата во временной автомат
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в сборнике
  10. 10
    Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в сборнике
  11. 11
    Derivation of the cascade parallel composition of timed finite state machines using BALM-II
    по Gromov, Maxim L.
    Опубликовано в: Automatic control and computer sciences
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  12. 12
    Использование временных автоматов при тестировании киберфизических систем
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  13. 13
    Экспериментальное сравнение качества тестов, построенных по UML-диаграммам на основе модели временного автомата
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  14. 14
    Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в сборнике
  15. 15
    Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в сборнике
  16. 16
    Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутами
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  17. 17
    К минимизации автоматов с временными ограничениями
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  18. 18
    Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
    Предметы: “...временные автоматы...”
    Полный текст
    Статья в журнале
  19. 19
    Верификация моделей программ: Model Checking
    по Кларк, Эдмунд М. младший
    Публикация 2002
    Предметы: “...временные автоматы....”
    Книга
Инструменты поиска: RSS-поток