Зайченко Сергій Олександрович, Зайченко Сергей Александрович, Zaychenko Sergiy Olexandrovych
Документи:
- Анализ быстродействия базовых операций в дедуктивном методе моделирования неисправностей [Текст] / В.И. Хаханов, С.А. Зайченко, А.А. Егоров // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.138-149.
- Киберсервисы активного управления университетом [Текст] / В.И. Хаханов, А.С. Мищенко, С.В. Чумаченко, С.А. Зайченко // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2014. — 4. — С. 56-61.
- Киберфизические структуры для анализа больших данных [Текст] / В.И. Хаханов, Е.И. Литвинова, С.А. Зайченко та ін. // Радиоэлектроника и информатика : научно-технический журнал. — Харьков, 2015. — 2. — С. 25-29.
- Механизм ассерций для функциональной верификации проектируемых цифровых систем [Текст] / В.И. Хаханов, А.А. Егоров, С.А. Зайченко та ін. // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.147-157.
- Модели и методы функциональной верификации цифровых систем на основе темпоральных ассерций [Текст] : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / Харьк. нац. ун-т радиоэлектроники. — Харьков, 2010. — 250 с.
- Моделі й методи функціональної верифікації цифрових систем на основі темпоральних асерцій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи та компоненти" / Харків. нац. ун-т радіоелектроніки. — Харків, 2011. — 20 с.
|
