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