Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 19 results.

    1.
    No cover image available
    Some classes of finite state machines with polynomial length of distinguishing test cases H. Yenigün, N. Yevtushenko, N. Kushik

    by Yenigün, Hüsnü | Yevtushenko, Nina V | Kushik, Natalia G.

    Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Adaptive experiments for state identification in finite state machines with timeouts A. Tvardovskii, N. V. Yevtushenko

    by Tvardovskii, Aleksandr | Yevtushenko, Nina V.

    Source: Machines, computations, and universality : 9th International conference, MCU 2022 Debrecen, Hungary, August 31 – September 2, 2022 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko

    by Kushik, Natalia G | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Научные подразделения РФФ.

    Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs N. Kushik, N. Yevtushenko, H. Yenigün

    by Kushik, Natalia G | Yevtushenko, Nina V | Yenigün, Hüsnü.

    Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, ItalyMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Deriving homing sequences for Finite State Machines with timeouts A. Tvardovskii, N. V. Yevtushenko

    by Tvardovskii, Aleksandr | Yevtushenko, Nina V.

    Source: The computer journalMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Testing components of interacting timed finite state machines M. Gromov, A. Tvardovskii, N. Yevtushenko

    by Gromov, Maxim L | Tvardovskii, Aleksandr | Yevtushenko, Nina V.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Adaptive homing sequences for partial weakly-initialized observable FSMs E. Vinarskii, A. Tvardovskii, N. V. Yevtushenko

    by Vinarskii, Evgenii | Tvardovskii, Aleksandr | Yevtushenko, Nina V.

    Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    Adaptive homing is in P N. G. Kushik, N. V. Yevtushenko

    by Kushik, Natalia G | Yevtushenko, Nina V.

    Source: Electronic proceedings in theoretical computer scienceMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao

    by El-Fakih, Khaled | Yevtushenko, Nina V | Simao, Adenilso da Silva | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Science of Computer ProgrammingMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    The unknown component problem theory and applications Tiziano Villa, Nina Yevtushenko, Robert K. Brayton [a. o.]

    by Villa, Tiziano | Brayton, Robert K | Yevtushenko, Nina V.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: New York [a. o.] Springer 2012Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs I. Hwang, N. V. Yevtushenko, A. Cavalli

    by Hwang, Iksoon | Yevtushenko, Nina V | Cavalli, Ana Rosa | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Information processing lettersMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Deriving tests with guaranteed fault coverage for finite state machines with timeouts A. Tvardovskii, K. El-Fakih, N. V. Yevtushenko

    by Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V.

    Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    Refining specifications in adaptive testing of nondeterministic finite state machines A. F. Petrenko, N. V. Yevtushenko

    by Petrenko, Alexandre F | Yevtushenko, Nina V.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    14.
    No cover image available
    Improving protocol passive testing through "Gedanken" experiments with finite state machines N. Kushik, J. López, A. Cavalli, N. Yevtushenko

    by Kushik, Natalia G | Cavalli, Ana Rosa | Yevtushenko, Nina V | López, Jorge.

    Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, AustriaMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    15.
    No cover image available
    Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service M. S. Forostyanova, N. V. Shabaldina, N. V. Yevtushenko

    by Forostyanova, Maria S | Shabaldina, Natalia V | Yevtushenko, Nina V.

    Source: 2017 International Siberian Conference on Control and Communications (SIBCON), Kazakhstan, Astana, June 29-30, 2017 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    16.
    No cover image available
    FSM-based testing from user defined faults adapted to incremental and mutation testing K. A. El-Fakih, R. Dorofeeva, N. V. Yevtushenko, G. V. Bochmann

    by Dorofeeva, R | Yevtushenko, Nina V | Bochmann, G. V | El-Fakih, Khaled | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Programming and computer softwareMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    Using models of finite transition systems for checking Web-service security A. V. Kolomeets, N. V. Shabaldina, E. V. Darusenkova, N. V. Yevtushenko

    by Shabaldina, Natalia V | Darusenkova, Ekaterina V | Yevtushenko, Nina V | Kolomeets, Anton V.

    Source: 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices : proceedings, Erlagol, Altai Republic, 29 June - 3 July, 2017Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    18.
    No cover image available
    Minimizing deterministic timed finite state machines D. Bresolin, A. Tvardovskii, N. V. Yevtushenko [et al.]

    by Tvardovskii, Aleksandr | Yevtushenko, Nina V | Villa, Tiziano | Gromov, Maxim L | Bresolin, Davide.

    Source: IFAC-PapersOnLineMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    A TEFSM-based framework for QoE evaluation of OTT services D. Rivera, N. Kushik, C. Fuenzalida [et.al.]

    by Rivera, D | Fuenzalida, C | Cavalli, Ana Rosa | Yevtushenko, Nina V | Kushik, Natalia G | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart