Showing 1 - 20 results of 209 for search '"КОНЕЧНЫЕ АВТОМАТЫ"', query time: 0.07s Refine Results
  1. 1
    FSMTest-1.0: a manual for researches
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  2. 2
    Some classes of finite state machines with polynomial length of distinguishing test cases
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  3. 3
    Refining the specification FSM when deriving test suites w.r.t. the reduction relation
    Subjects: “...недетерминированные конечные автоматы...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  4. 4
    A practical approach for testing timed deterministic finite state machines with single clock
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  5. 5
    Оценка кратности выходного символа в обратимом автомате
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  6. 6
    FSM-based testing from user defined faults adapted to incremental and mutation testing
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Article
  7. 7
    FSM-based sequential circuits optimization by changing initial state of specification
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  8. 8
    Efficient FPGA implementation of a reconfigurable FSM based on substitutions
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  9. 9
    Testing microcontroller based physical systems using finite transition models
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  10. 10
    Pseudo-exhaustive testing of sequential circuits for multiple stuck-at faults
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  11. 11
    Testing components of interacting timed finite state machines
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  12. 12
    Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  13. 13
    Improving protocol passive testing through "Gedanken" experiments with finite state machines
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  14. 14
    The unknown component problem theory and applications
    Published 2012
    Subjects: “...конечные автоматы...”
    Перейти в каталог НБ ТГУ
    Book
  15. 15
    Checking robustness of web services based on the parallel composition of partial timed finite state machines
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  16. 16
    On using finite state machines for optimization and testing of SDN controllers
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  17. 17
    Adaptive homing sequences for partial weakly-initialized observable FSMs
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  18. 18
    Using models of finite transition systems for checking Web-service security
    Subjects: “...конечные автоматы...”
    Get full text
    Перейти в каталог НБ ТГУ
    Book Chapter
  19. 19
    Homing sequence derivation with quantified boolean satisfiability
    Subjects: “...конечные автоматы...”
    Перейти в каталог НБ ТГУ
    Book Chapter
  20. 20
    К определению понятия самосинхронизирующегося поточного шифра
    Subjects: “...конечные автоматы...”
    Перейти в каталог НБ ТГУ
    Book Chapter
Search Tools: Get RSS Feed