Որոնման արդյունքները - Евтушенко Н. В.
- Ցուցադրվում են 1 - 6 արդյունքները 6
-
1
Декомпозиция конечных автоматов Агибалов Г. П. Геннадий Петрович
Հրապարակվել է Томск, Изд-во Томского ун-та, 1985Այլ հեղինակներ: “…Евтушенко Н. В. Нина Владимировна…”
Դասիչ: Բեռնվում է…
Տեղակայված է: Բեռնվում է…Գիրք Բեռնվում է… -
2
Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических нау... Дорофеева М. Ю. Маргарита Юрьевна
Հրապարակվել է Томск, 2007Այլ հեղինակներ: “…Евтушенко Н. В. Нина Владимировна…”
Դասիչ: Բեռնվում է…Ստացեք ամբողջական տեքստը
Տեղակայված է: Բեռնվում է…
Էլեկտրոնային Գիրք -
3
Синтез тестов с гарантированной полнотой для временных автоматов Жигулин М. В.
Հրապարակվել է 2010Այլ հեղինակներ:Դասիչ: Բեռնվում է…Ստացեք ամբողջական տեքստը
Տեղակայված է: Բեռնվում է…
Էլեկտրոնային Գրքի գլուխ -
4
Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования... Кушик Н. Г. Наталья Геннадьевна
Հրապարակվել է 2015Այլ հեղինակներ: “…Евтушенко Н. В. Нина Владимировна…”
Դասիչ: Բեռնվում է…Ստացեք ամբողջական տեքստը
Տեղակայված է: Բեռնվում է…
Էլեկտրոնային Գրքի գլուխ -
5
Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0" Электронный ресурс программа для ЭВМ Рег. номер: 2014661807, 13.11.14...
Հրապարակվել էԱյլ հեղինակներ:Դասիչ: Բեռնվում է…Ստացեք ամբողջական տեքստը
Տեղակայված է: Բեռնվում է…
Էլեկտրոնային Գիրք -
6
Основы проектирования и верификации цифровых схем учебное пособие
Հրապարակվել է Томск, Изд-во ТПУ, 2013Այլ հեղինակներ:Դասիչ: Բեռնվում է…Ստացեք ամբողջական տեքստը
Տեղակայված է: Բեռնվում է…
Էլեկտրոնային Գիրք
Որոնման գործիքներ:
Առնչվող խորագիր
электронный ресурс
труды учёных ТПУ
верификация
конечные автоматы
синтез
тесты
FPGA
Автоматов теория (математическая кибернетика)
Информационно-управляющие системы Автоматика
Цифровая схемотехника
авторефераты диссертаций
булевы функции
временной конечный автомат
декомпозиции
декомпозиция
дискретные устройства
задержка по времени
комбинаторные методы
конечно-автоматные методы
логика
логические схемы
логические элементы
логический синтез
метод Квайна-МакКласки
оптимизация
покрытия
полные проверяющие тесты
программы для ЭВМ
связи
тестирование