Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 13 results.

    1.
    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
    2.
    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
    3.
    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
    4.
    No cover image available
    Тестирование в контексте для реализации протокола TCP на основе автоматных моделей Н. М. Щипачев, Н. Г. Кушик

    by Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    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
    5.
    No cover image available
    Testing digital circuits: studying the increment of the number of states and estimating the fault coverage E. Vinarskii, A. Laputenko, J. López, N. G. Kushik

    by Laputenko, Andrey V | López, Jorge | Kushik, Natalia G | Vinarskii, Evgenii.

    Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 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
    6.
    No cover image available
    Тестирование системы автоматов И. Б. Бурдонов, А. С. Косачев

    by Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Testing of automata system.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    On the fault coverage of high-level test derivation methods for digital circuits J. López, E. Vinarsky, A. Laputenko

    by López, Jorge | Vinarskii, Evgenii | Laputenko, Andrey V.

    Material 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
    Экспериментальное сравнение методов синтеза проверяющих тестов для детерминированных автоматов М. Ю. Дорофеева

    by Дорофеева, Маргарита Юрьевна.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Adolescent; Availability: No items available :
    Log in to add tags Add to cart
    9.
    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
    10.
    No cover image available
    11.
    No cover image available
    Недетерминированные автоматы: анализ и синтез Ч. 1 [учебное пособие] Н. В. Евтушенко, А. Ф. Петренко, М. В. Ветрова

    by Евтушенко, Нина Владимировна | Петренко, Александр Федорович | Ветрова, Мария Викторовна.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2006Other title: Отношения и операции.Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Недетерминированные автоматы: анализ и синтез Ч. 2 [учебное пособие] Н. В. Евтушенко, М. В. Рекун, С. В. Тихомирова ; [Том. гос. ун-т, Радиофиз. фак-т]

    by Евтушенко, Нина Владимировна | Рекун, М. В | Тихомирова, Светлана Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2009Other title: Решение автоматных уравнений.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

    by Спицына, Наталия Владимировна | Евтушенко, Нина Владимировна [sad] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2005Availability: No items available :
    Log in to add tags Add to cart