Search alternatives:
"Труды Института системного программирования РАН" » "Труды Института системы программирования РАН" (Expand Search)
Showing 1 - 13 results of 13 for search '"Труды Института системного программирования РАН"', query time: 0.13s Refine Results
  1. 1
    Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  2. 2
    К минимизации автоматов с таймаутами
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  3. 3
    Locating a faulty component of an EFSM composition
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  4. 4
    Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  5. 5
    A TEFSM-based framework for QoE evaluation of OTT services
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  6. 6
    Решение автоматных уравнений для временных автоматов относительно параллельной композиции
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  7. 7
    "Life" in tensor: implementing cellular automata on graphics adapters
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  8. 8
    Experiments on parallel composition of timed finite state machines
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  9. 9
    Stuck-at-faults tester as a web-service
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  10. 10
    Минимизация автоматов с таймаутами и временными ограничениями
    Get full text
    Article
  11. 11
    Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  12. 12
    К синтезу адаптивных различающих последовательностей для конечных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  13. 13
    О возможностях автоматного описания параллельной композиции временных автоматов
    Get full text
    Перейти в каталог НБ ТГУ
    Article
Search Tools: Get RSS Feed