Отображение 1 - 20 результаты of 21 для поиска 'Твардовский, Александр Сергеевич', время запроса: 0.05сек. Отмена результатов
  1. 1
    О возможностях автоматного описания параллельной композиции временных автоматов
    Полный текст
    Статья в журнале
  2. 2
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Полный текст
    Электронная книга
  3. 3
    Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
    Полный текст
    Статья в сборнике
  4. 4
    К минимизации автоматов с таймаутами
    Полный текст
    Статья в сборнике
  5. 5
    О минимизации временных автоматов
    Полный текст
    Статья в сборнике
  6. 6
    К минимизации автоматов с таймаутами
    Полный текст
    Статья в журнале
  7. 7
    Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
    Полный текст
    Статья в сборнике
  8. 8
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Книга
  9. 9
    К построению подавтоматов без слияний для недетерминированных конечных автоматов
    Полный текст
    Статья в сборнике
  10. 10
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Полный текст
    Электронная книга
  11. 11
    Синтез установочных последовательностей для автоматов с таймаутами
    Полный текст
    Статья в сборнике
  12. 12
    К синтезу адаптивных различающих последовательностей для конечных автоматов
    Полный текст
    Статья в журнале
  13. 13
    Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
    Полный текст
    Статья в сборнике
  14. 14
    К минимизации автоматов с временными ограничениями
    Полный текст
    Статья в журнале
  15. 15
    Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
    Полный текст
    Статья в журнале
  16. 16
    Минимизация автоматов с таймаутами и временными ограничениями
    Полный текст
    Статья в журнале
  17. 17
    Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов
    Другие авторы: “...Твардовский, Александр Сергеевич...”
    Полный текст
    Статья в сборнике
  18. 18
    Создание кроссплатформенной версии приложения "FSM Test-1.0"
    Другие авторы: “...Твардовский, Александр Сергеевич...”
    Полный текст
    Статья в сборнике
  19. 19
    Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
    Другие авторы: “...Твардовский, Александр Сергеевич...”
    Полный текст
    Статья в сборнике
  20. 20
    Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
    Другие авторы: “...Твардовский, Александр Сергеевич...”
    Полный текст
    Статья в журнале
Инструменты поиска: RSS-поток