Výsledky vyhledávání - Евтушенко Н. В.
- Zobrazuji výsledky 1 - 6 z 6
-
1
Декомпозиция конечных автоматов Autor Агибалов Г. П. Геннадий Петрович
Vydáno Томск, Изд-во Томского ун-та, 1985Další autoři: “…Евтушенко Н. В. Нина Владимировна…”
Signatura: Načítá se…
Umístění: Načítá se…Kniha Načítá se… -
2
Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических нау... Autor Дорофеева М. Ю. Маргарита Юрьевна
Vydáno Томск, 2007Další autoři: “…Евтушенко Н. В. Нина Владимировна…”
Signatura: Načítá se…Získat plný text
Umístění: Načítá se…
Elektronický zdroj Kniha -
3
Синтез тестов с гарантированной полнотой для временных автоматов Autor Жигулин М. В.
Vydáno 2010Další autoři:Signatura: Načítá se…Získat plný text
Umístění: Načítá se…
Elektronický zdroj Kapitola -
4
Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования... Autor Кушик Н. Г. Наталья Геннадьевна
Vydáno 2015Další autoři: “…Евтушенко Н. В. Нина Владимировна…”
Signatura: Načítá se…Získat plný text
Umístění: Načítá se…
Elektronický zdroj Kapitola -
5
Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0" Электронный ресурс программа для ЭВМ Рег. номер: 2014661807, 13.11.14...
VydánoDalší autoři:Signatura: Načítá se…Získat plný text
Umístění: Načítá se…
Elektronický zdroj Kniha -
6
Основы проектирования и верификации цифровых схем учебное пособие
Vydáno Томск, Изд-во ТПУ, 2013Další autoři:Signatura: Načítá se…Získat plný text
Umístění: Načítá se…
Elektronický zdroj Kniha
Vyhledávací nástroje:
Související témata
электронный ресурс
труды учёных ТПУ
верификация
конечные автоматы
синтез
тесты
FPGA
Автоматов теория (математическая кибернетика)
Информационно-управляющие системы Автоматика
Цифровая схемотехника
авторефераты диссертаций
булевы функции
временной конечный автомат
декомпозиции
декомпозиция
дискретные устройства
задержка по времени
комбинаторные методы
конечно-автоматные методы
логика
логические схемы
логические элементы
логический синтез
метод Квайна-МакКласки
оптимизация
покрытия
полные проверяющие тесты
программы для ЭВМ
связи
тестирование