Resultados da busca - Евтушенко Н. В.

  • Mostrando 1 - 6 resultados de 6
Refinar Resultados
  1. 1
    Декомпозиция конечных автоматов

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

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

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

    Publicado em Томск, 2007
    Outros Autores: “…Евтушенко Н. В. Нина Владимировна…”
    Obter o texto integral
    Recurso Eletrônico Livro
  3. 3
    Синтез тестов с гарантированной полнотой для временных автоматов

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

    Publicado em 2010
    Outros Autores: Obter o texto integral
    Recurso Eletrônico Capítulo de Livro
  4. 4
    Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования

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

    Publicado em 2015
    Outros Autores: “…Евтушенко Н. В. Нина Владимировна…”
    Obter o texto integral
    Recurso Eletrônico Capítulo de Livro
  5. 5
    Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0" Электронный ресурс программа для ЭВМ Рег. номер: 2014661807, 13.11.14

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

    Publicado em
    Outros Autores: Obter o texto integral
    Recurso Eletrônico Livro
  6. 6
    Основы проектирования и верификации цифровых схем учебное пособие

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

    Publicado em Томск, Изд-во ТПУ, 2013
    Outros Autores: Obter o texto integral
    Recurso Eletrônico Livro

Ferramentas de busca: