Отображение 1 - 17 результаты of 17 для поиска 'Kushik, Natalia G.', время запроса: 0.03сек. Отмена результатов
  1. 1
    Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
    Полный текст
    Статья в сборнике
  2. 2
    Adaptive homing is in P
    Полный текст
    Статья в журнале
  3. 3
    On the length of homing sequences for nondeterministic finite state machines
    Полный текст
    Статья в сборнике
  4. 4
    Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability
    Полный текст
    Статья в журнале
  5. 5
    On using finite state machines for optimization and testing of SDN controllers
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
  6. 6
    On source code optimization for interpreted languages using state models
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
  7. 7
    The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
    по Yenigün, Hüsnü
    Опубликовано в: Information processing letters
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в журнале
  8. 8
    Some classes of finite state machines with polynomial length of distinguishing test cases
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
  9. 9
    Synchronizing sequences for effective network monitoring: an application to TCP
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
  10. 10
    Testing digital circuits: studying the increment of the number of states and estimating the fault coverage
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
  11. 11
    Improving protocol passive testing through "Gedanken" experiments with finite state machines
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
  12. 12
    Finite state models for evaluating quality of business for the over the top services
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
  13. 13
    Using Boolean relation determinization in digital circuit optimization
    Другие авторы: “...Kushik, Natalia G....”
    Статья в сборнике
  14. 14
    Multimedia quality of experience
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
  15. 15
    Homing sequence derivation with quantified boolean satisfiability
    Другие авторы: “...Kushik, Natalia G....”
    Статья в сборнике
  16. 16
    A TEFSM-based framework for QoE evaluation of OTT services
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в журнале
  17. 17
    Test derivation for the software defined networking platforms: novel fault models and test completeness
    Другие авторы: “...Kushik, Natalia G....”
    Полный текст
    Статья в сборнике
Инструменты поиска: RSS-поток