Showing 1 - 20 results of 21 for search 'Твардовский, Александр Сергеевич', query time: 0.03s Refine Results
  1. 1
    К синтезу адаптивных различающих последовательностей для конечных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  2. 2
    К минимизации автоматов с таймаутами
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  3. 3
    Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  4. 4
    Синтез установочных последовательностей для автоматов с таймаутами
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  5. 5
    Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  6. 6
    Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  7. 7
    К минимизации автоматов с таймаутами
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  8. 8
    К построению подавтоматов без слияний для недетерминированных конечных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  9. 9
    Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  10. 10
    Минимизация автоматов с таймаутами и временными ограничениями
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  11. 11
    О минимизации временных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  12. 12
    К минимизации автоматов с временными ограничениями
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  13. 13
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 14
    О возможностях автоматного описания параллельной композиции временных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  15. 15
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 16
    Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Перейти в каталог НБ ТГУ
    Book
  17. 17
    Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов
    Other Authors: “...Твардовский, Александр Сергеевич...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  18. 18
    Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
    Other Authors: “...Твардовский, Александр Сергеевич...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  19. 19
    Создание кроссплатформенной версии приложения "FSM Test-1.0"
    Other Authors: “...Твардовский, Александр Сергеевич...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  20. 20
    Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
    Other Authors: “...Твардовский, Александр Сергеевич...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
Search Tools: Get RSS Feed