检索结果 - Евтушенко Н. В.

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

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

    出版 Томск, Изд-во Томского ун-та, 1985
    其他作者: “...Евтушенко Н. В. Нина Владимировна...”
    图书
  2. 2
    Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.13.01

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

    出版 Томск, 2007
    其他作者: “...Евтушенко Н. В. Нина Владимировна...”
    获取全文
    电子 图书
  3. 3
    Синтез тестов с гарантированной полнотой для временных автоматов

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

    出版 2010
    其他作者: 获取全文
    电子 本书章节
  4. 4
    Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования

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

    出版 2015
    其他作者: “...Евтушенко Н. В. Нина Владимировна...”
    获取全文
    电子 本书章节
  5. 5
    Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0" Электронный ресурс программа для ЭВМ Рег. номер: 2014661807, 13.11.14

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

    出版
    其他作者: 获取全文
    电子 图书
  6. 6
    Основы проектирования и верификации цифровых схем учебное пособие

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

    出版 Томск, Изд-во ТПУ, 2013
    其他作者: 获取全文
    电子 图书

检索工具: