Результати пошуку - Евтушенко Н. В.

  • Показ 1 - 6 результатів із 6
Уточнити результати
  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
    Інші автори: Отримати повний текст
    Електронний ресурс Книга

Інструменти для пошуку: