Showing 1 - 19 results of 19 for search '"конечный автомат"', Forespørselstid: 0.18s Refine Results
  1. 1
    Deriving adaptive distinguishing sequences for Finite State Machines

    Deriving adaptive distinguishing sequences for Finite State Machines af A. S. Tvardovskii, N. V. Yevtushenko

    Udgivet 2018-10-01
    Fag: “...конечный автомат...”
    Få fuldtekst
    Article
  2. 2
    STRUCTURAL STATE MACHINES IN THE FORM OF THE TENSORS OF THE THIRD RANK SUDOKU TYPE

    STRUCTURAL STATE MACHINES IN THE FORM OF THE TENSORS OF THE THIRD RANK SUDOKU TYPE af Юрий Михайлович Пенкин, Алина Александровна Федосеева

    Udgivet 2019-12-01
    Fag: “...конечный автомат...”
    Få fuldtekst
    Article
  3. 3
    On the possibilities of FSM description of Parallel composition of Timed Finite State Machines

    On the possibilities of FSM description of Parallel composition of Timed Finite State Machines af A. S. Tvardovskii, A. V. Laputenko

    Udgivet 2018-10-01
    Fag: “...конечный автомат...”
    Få fuldtekst
    Article
  4. 4
    Checking experiments with non-observable tree FSMs

    Checking experiments with non-observable tree FSMs af N. . Kushik

    Udgivet 2018-10-01
    Fag: “...конечный автомат, недетерминированный (ненаблюдаемый) автомат, древовидный автомат, проверяющий эксперимент...”
    Få fuldtekst
    Article
  5. 5
    Deriving adaptive checking sequence for nondeterministic Finite State Machines

    Deriving adaptive checking sequence for nondeterministic Finite State Machines af A. D. Ermakov, N. V. Yevtushenko

    Udgivet 2018-10-01
    Fag: “...недетерминированный конечный автомат...”
    Få fuldtekst
    Article
  6. 6
    Locating a faulty component of an EFSM composition

    Locating a faulty component of an EFSM composition af Svetlana Prokopenko

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  7. 7
    Finite state automata in the theory of algebraic program schemata

    Finite state automata in the theory of algebraic program schemata af R. I. Podlovchenko

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  8. 8
    Carassius: A Simple Process Model Editor

    Carassius: A Simple Process Model Editor af N. Nikitina, A. Mitsyuk

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  9. 9
    FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts

    FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts af Aleksandr Sergeevitch Tvardovskii, Nina Vladimirovna Evtushenko

    Udgivet 2019-10-01
    Fag: “...конечный автомат...”
    Få fuldtekst
    Article
  10. 10
    A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators

    A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators af V. V. Podymov, V. A. Zakharov

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  11. 11
    On the model checking of finite state transducers over semigroups

    On the model checking of finite state transducers over semigroups af A. R. Gnatenko, V. A. Zakharov

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  12. 12
    Graph learning by a set of automata

    Graph learning by a set of automata af Igor Burdonov, Alexander Kosachev

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  13. 13
    Регулярные выражения для некоторых языков сетей Петри в задаче о производителе и потребителе

    Регулярные выражения для некоторых языков сетей Петри в задаче о производителе и потребителе af Vitalii M. Statkevych

    Udgivet 2020-12-01
    Fag:
    Få fuldtekst
    Article
  14. 14
    Операция разности для регулярных языков сетей Петри в задаче о производителе и потребителе с ограниченным буфером

    Операция разности для регулярных языков сетей Петри в задаче о производителе и потребителе с ограниченным буфером... af Vitalii Statkevych

    Udgivet 2021-09-01
    Fag:
    Få fuldtekst
    Article
  15. 15
    A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

    A Model Checking-Based Method of Functional Test Generation for HDL Descriptions af M. S. Lebedev, S. A. Smolov

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  16. 16
    Test Generation for Digital Hardware Based on High-Level Models

    Test Generation for Digital Hardware Based on High-Level Models af M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  17. 17
    A TEFSM-based Framework for QoE Evaluation of OTT Services

    A TEFSM-based Framework for QoE Evaluation of OTT Services af D. Rivera, N. Kushik, C. Fuenzalida, A. Cavalli, N. Yevtushenko

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  18. 18
    An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

    An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs af I. . Melnichenko, A. . Kamkin, S. . Smolov

    Udgivet 2018-10-01
    Fag:
    Få fuldtekst
    Article
  19. 19
    Open loop control of the five-axis missile and target flight motion simulator implementation / Внедрение системы управления пятиосевых имитаторов полета ракеты и воздушной цели в разомкнутом цикле / Implementacija upravljanja petoosnim simulatorom leta rakete i cilja u otvorenoj petlji

    Open loop control of the five-axis missile and target flight motion simulator implementation / Внедрение системы управления пятиосевых имитаторов полета ракеты и воздушной цели в р... af Nataša D. Kljajić, Miloš I. Kostić, Miloš V. Pavić

    Udgivet 2016-07-01
    Fag:
    Få fuldtekst
    Article

Søgeredskaber: