Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
верифікація, верификация
Підтеми:
Документи:
- Малахов, В. П. Проектирование и верификация цифровых фильтров заданной структуры на языке VHDL [Текст] / В. П. Малахов, А. Ю. Мельниченко, В. Г. Бровков // Електромашинобудування та електрообладнання : міжвідомчий науково-технічний збірник : тематичний збірник / МОН України, ОНПУ. – К. : Техніка, 2009. – Вип. 72. – C. 161-166.
- Манжос, Ю. С. Тестування, валідація та верифікація програмного забезпечення [Текст] / Ю. С. Манжос // Інженерія програмного забезпечення. – 2010. – № 1. – С. 5-14.
- Мелащенко, А. О. Проблемы интероперабельности национальной системы электронных цифровых подписей [Текст] / А. О. Мелащенко, О. Л. Перевозчикова // Кибернетика и системный анализ. – 2009. – Т. 45, № 6. – С. 55-63.
- Мотало, В. П. Аналіз методик верифікації та калібрування засобів вимірювальної техніки [Текст] / В. П. Мотало // Вимірювальна техніка та метрологія : міжвідомчий науково-технічний збірник / МОН України. – Львів : Вид-во Львівської політехніки, 2019. – Т. 80, вип. 1. – С. 51-66.
- Нежуренко, А. WinRoute, или "Малина-2" [Текст] / А. Нежуренко // Сети и телекоммуникации. – 2002. – № 1. – 38-39.
- Непомнящий, В. А. Верификация финитных итераций над наборами изменяемых структур данных [Текст] / В. А. Непомнящий // Кибернетика и системный анализ. – 2007. – № 3. – 33-46.
- Непомнящий, В. А. Прикладные методы верификации программ [Текст] / В. А. Непомнящий, О. М. Рякин ; Под ред. А.П. Ершова. – М. : Радио и связь, 1988. – 256с. – Библиогр.:с.252-254. – ISBN 5-256-00156-6.
- Низовцев, М. И. Верификация модели расчета сопряженного тепло- и влагопереноса при увлажнении газобетона [Текст] / М. И. Низовцев, А. Н. Стерлягов, В. И. Терехов // Изв.ВУЗов.Строительство. – 2008. – № 1. – 104-109.
- Никешин, А. В. Верификация функций безопасности протокола IPsec v2 [Текст] / А. В. Никешин, Н. В. Пакулин, В. З. Шнитман // Программирование. – 2011. – № 1. – С. 36-56.
- Отришко, В. О. Аналіз методів тестування безпеки програмних продуктів [Текст] / В. О. Отришко, М. А. Томчук // Матеріали II науково-практичної конференції "Якість і безпека. Сучасні реалії", 14-15 березня 2018 р. : [збірник тез доповідей] / ВНТУ, ВНАУ, ВМК ім. Д. Заболотного. – Вінниця : ВНТУ, 2018. – С. 174-179.
- Палагин, А. В. Физическое моделирование цифровых устройств на ПЛИС с помощью моделирующей платы [Текст] / А. В. Палагин, В. Н. Опанасенко, А. Н. Лисовый // Автоматика-2006: Матеріали XIII міжнародної конференції з автоматичного управління, м. Вінниця, 25-28 вересня 2006 року. - Вінниця: УНІВЕРСУМ-Вінниця, 2007. – 190-194.
- Палагін, О. В. Технології віртуалізації, що властиві живим істотам [Текст] / О. В. Палагін, М. В. Семотюк // Кібернетика та системний аналіз. – 2022. – Т. 58, № 4. – C. 162-171.
- Поляков, Г. А. Компиляционная методика верификации статических и динамических объектов автоматического проектирования мультипараллельных цифровых устройств [Текст] / Г. А. Поляков, Д. А. Толстолужский // Прикладная радиоэлектроника. – 2005. – 4, № 2. – 161-167.
- Поперечный, П. С. Верификация аппаратных описаний алгебраических блоков в среде МаtLab [Текст] / П. С. Поперечный, А. А. Беляев, И. Ю. Колесникова // Известия высших учебных заведений. Электроника. – 2016. – № 2. – С. 173-178.
- Рогачев, В. А. Разработка и верификация CFD-моделей теплообмена для входного участка трубы при отрывном течении [Текст] / В. А. Рогачев, А. В. Баранюк, П. Г. Круковский // Промышленная теплотехника. – 2011. – Т. 33, № 4. – С. 32-42.
- Ромащенко, М. А. Методика анализа помехоустойчивости печатных плат при проектировании РЭС с учетом ЭМС [Текст] / М. А. Ромащенко // Радиотехника. XXI век. – 2014. – № 3. – С. 92-96.
- Ромащенко, М. А. Методика оценки помех в шинах питания цифровых устройств при проведении верификации ЭМС [Текст] / М. А. Ромащенко // Радиотехника. XXI век. – 2014. – № 3. – С. 88-91.
- Ромащенко, М. А. Методика оценки уровней электромагнитного излучения от печатной платы при обеспечении ЭМС [Текст] / М. А. Ромащенко, В. А. Шуваев // Радиотехника. XXI век. – 2014. – № 3. – С. 97-100.
- Саблин, А. В. Параметрическое проектирование и верификация инерциальных навигационных систем [Текст] / А. В. Саблин, В. Е. Алексеев, А. Н. Соловьев // Известия высших учебных заведений. Электроника. – 2014. – № 6. – С. 30-36.
- Прогнозирование живучести энергетического оборудования стареющих электрических станций [Текст] / В. К. Семенов, В. Ф. Степанов, А. А. Беляков [и др.] // Теплоэнергетика. – 2010. – № 8. – С. 35-38.
- Скобелев, В. В. О некоторых задачах анализа гибридных автоматов [Текст] / В. В. Скобелев, В. Г. Скобелев // Кибернетика и системный анализ. – 2018. – Т. 54, № 4. – С. 3-15.
- Підсистема моніторингу інформаційного простору як необхідна складова системи протидії негативному інформаційно-психологічному впливу на особовий склад Збройних Сил України [Текст] / П. М. Сніцаренко, Ю. О. Саричев, В. А. Ткаченко, О. А. Мотузяник // Наука і оборона. – 2018. – № 1. – С. 29-33.
- Фадеев, А. В. Верификация алгоритма эмиссионной томографии плазменных неоднородностей в плазмохимическом реакторе с помощью ленгмюровского мультизонда [Текст] / А. В. Фадеев, К. В. Руденко // Микроэлектроника. – 2014. – Т. 43, № 4. – С. 256-262.
- Тестирование и верификация HDL-моделей цифровых систем на кристаллах [Текст] / В. И. Хаханов, И. В. Хаханова, Е. И. Литвинова, О. А. Гузь // Электронное моделирование. – 2010. – Т. 32, № 2. – С. 31-60.
- Хоміч, Л. Верифікація: про взаємодію верифікатора та оператора [Текст] / Л. Хоміч // Екологія підприємства. – 2018. – № 8. – С. 20-26.
- Чеботарев, А. Н. Верфикация спецификация в языке L относительнотемпоральных свойств, не выразимых в этом языке [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2009. – Т. 45, № 5. – С. 3-12.
- Чеботарев, А. Н. Теоретико-автоматный подход к верификации реактивных систем [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2001. – № 6. – 37-49.
- Метод верификации начала вскипания теплоносителя в каналах ядерного реактора [Текст] / И. Г. Шараевский, Е. Д. Домашев, А. П. Архипов, Е. И. Шараевская // Промышленная теплотехника. – 2001. – 23, № 4-5. – 114-121.
- Шевчук, Р. М. Верифікація результатів супутникового моніторингу територій нелегального видобутку бурштину [Текст] / Р. М. Шевчук // Екологічна безпека та природокористування. – 2017. – № 3-4 (24), лип.-груд. 2017 р. – С. 133-137.
- Обнаружение ошибок проектирования в HDL- моделях конечных автоматов с использованием синхронизирующих последовательностей [Текст] / А. С. Шкиль, М. А. Мирошник, Э. Н. Кулак [и др.] // Радиоэлектроника и информатика. – 2016. – № 3. – С. 39-46.
- Шмелёва, Т. Р. Верификация шестиугольной коммуникационной решетки бесконечными сетями Петри [Текст] / Т. Р. Шмелёва // Радиотехника. – 2018. – № 194. – С. 38-45.
1
2
|