Search alternatives:
"автоматы конечные" » "автоматы конечных" (Expand Search), "автоматы коренные" (Expand Search)
Showing 1 - 20 results of 46 for search '"автоматы конечные"', query time: 0.08s Refine Results
  1. 1
    On separating UML specified non-deterministic finite state machines with time-outs
    Subjects: “...автоматы конечные недетерминированные...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  2. 2
    On reducing test length for FSMs with extra states
    Subjects: “...автоматы конечные...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  3. 3
    Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability
    Subjects: “...автоматы конечные недетерминированные...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  4. 4
    Generating checking sequences for nondeterministic finite state machines
    Subjects: “...автоматы конечные недетерминированные...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  5. 5
    On the length of homing sequences for nondeterministic finite state machines
    Subjects: “...автоматы конечные недетерминированные...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  6. 6
    Тестирование робастности веб-сервисов на основе композиций конечных автоматов
    Subjects: “...автоматы конечные...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  7. 7
    Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01
    Subjects: “...автоматы конечные...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 8
    К описанию детерминированных решений параллельного автоматного уравнения
    Subjects: “...автоматы конечные...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  9. 9
    Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Subjects: “...автоматы конечные недетерминированные...”
    Перейти в каталог НБ ТГУ
    Book
  10. 10
    Применение конечных автоматов для нечеткого бинарного поиска
    Subjects: “...автоматы конечные...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  11. 11
    Модификация метода построения тестов для конечных автоматов относительно неразделимости
    Subjects: “...автоматы конечные...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  12. 12
    Оценка полноты проверки при пассивном тестировании на основе автоматной модели
    Subjects: “...автоматы конечные...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  13. 13
    О сложности и устойчивости вероятностных вычислений диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
    Subjects: “...автоматы конечные вероятностные...”
    Перейти в каталог НБ ТГУ
    Book
  14. 14
    О выполнимости предикатов при синтезе тестов с гарантированной полнотой для расширения конечных автоматов
    Subjects: “...автоматы конечные...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  15. 15
    Parallel Automata-Based Protocols for Multi-Agent Systems
    Subjects: “...автоматы конечные...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  16. 16
    Проблемы теоретической кибернетики тезисы докладов VIII Всесоюзной конференции (июль 1988 г.)
    Published 1988
    Subjects: “...автоматы конечные...”
    Перейти в каталог НБ ТГУ
    Book
  17. 17
    Логическое проектирование цифровых систем на основе программируемых логических интегральных схем
    Subjects: “...автоматы конечные, модели...”
    Перейти в каталог НБ ТГУ
    Book
  18. 18
    Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
    Subjects: “...автоматы конечные, синтез...”
    Перейти в каталог НБ ТГУ
    Book
  19. 19
    Лекции по математической лингвистике
    Subjects: “...автоматы конечные детерминированные...”
    Перейти в каталог НБ ТГУ
    Book
  20. 20
    Введение в теорию автоматов, языков и вычислений Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман ; [под ред. А. Б. Ставровского ; пер. с англ. О. И. Васылык и др.]
    by Хопкрофт, Джон Э.
    Published 2008
    Subjects: “...автоматы конечные...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed