Søgeresultater - Евтушенко Н. В.

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Декомпозиция конечных автоматов

    Декомпозиция конечных автоматов af Агибалов Г. П. Геннадий Петрович

    Udgivet Томск, Изд-во Томского ун-та, 1985
    Andre forfattere: “...Евтушенко Н. В. Нина Владимировна...”
    Bog
  2. 2
    Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.13.01

    Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических нау... af Дорофеева М. Ю. Маргарита Юрьевна

    Udgivet Томск, 2007
    Andre forfattere: “...Евтушенко Н. В. Нина Владимировна...”
    Få fuldtekst
    Electronisk Bog
  3. 3
    Синтез тестов с гарантированной полнотой для временных автоматов

    Синтез тестов с гарантированной полнотой для временных автоматов af Жигулин М. В.

    Udgivet 2010
    Andre forfattere: Få fuldtekst
    Electronisk Book Chapter
  4. 4
    Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования

    Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования... af Кушик Н. Г. Наталья Геннадьевна

    Udgivet 2015
    Andre forfattere: “...Евтушенко Н. В. Нина Владимировна...”
    Få fuldtekst
    Electronisk Book Chapter
  5. 5
    Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0" Электронный ресурс программа для ЭВМ Рег. номер: 2014661807, 13.11.14

    Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0" Электронный ресурс программа для ЭВМ Рег. номер: 2014661807, 13.11.14...

    Udgivet
    Andre forfattere: Få fuldtekst
    Electronisk Bog
  6. 6
    Основы проектирования и верификации цифровых схем учебное пособие

    Основы проектирования и верификации цифровых схем учебное пособие

    Udgivet Томск, Изд-во ТПУ, 2013
    Andre forfattere: Få fuldtekst
    Electronisk Bog

Søgeredskaber: