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