Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
верифікація, верификация
Підтеми:
Документи:
- Базовые положения, текущее состояние разработки и перспективы дальнейшего развития теплогидравлического расчетного кода нового поколения HYDRA-IBRAE/LM для моделирования реакторных установок на быстрых нейтронах [Текст] / В. М. Алипченков, А. М. Анфимов, Д. А. Афремов [и др.] // Теплоэнергетика. – 2016. – № 2. – С. 54-64.
- Башкин, В. А. Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов [Текст] / В. А. Башкин, И. А. Ломазова // Кибернетика и системный анализ. – 2011. – Т. 47, № 2. – С. 31-39.
- Построение алгоритмов верификации функциональных моделей декодеров [Текст] / А. В. Башкиров, А. В. Муратов, Ю. С. Науменко, А. В. Ситников // Радиотехника. XXI век. – 2014. – № 3. – С. 72-76.
- Бедерак, Я. С. Про верифікацію вимірювальної інформації в автоматизованих системах технічного обліку електроенергії [Текст] / Я. С. Бедерак // Енергетика та електрифікація. – 2014. – № 11. – С. 34-35.
- Бибило, П. Н. Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов [Текст] / П. Н. Бибило, В. И. Романов // Управляющие системы и машины. – 2017. – № 1. – С. 35-45.
- Бубела, Т. З. ПІдсистема збирання даних для кіберфізичної системи моніторингу агровиробництва та її верифікації [Текст] / Т. З. Бубела, Т. І. Федишин // Вимірювальна техніка та метрологія : міжвідомчий науково-технічний збірник / МОН України. – Львів : Вид-во Львівської політехніки, 2018. – Вип. 79 (1). – С. 28-33.
- Валиев, М. К. Системы агентов, управляемых логическими программами: сложность верификации [Текст] / М. К. Валиев, М. И. Дехтярь, А. Я. Диковский // Программирование. – 2009. – № 5. – С. 37-56.
- Варосян, А. С. Алгоритм формальной верификации шаблонов бизнес-процессов [Текст] / А. С. Варосян // Кибернетика и системный анализ. – 2011. – Т. 47, № 2. – С. 62-76.
- Ветошкин, В. А. Верификация компьютерных программ расчета прочности трубопроводных систем [Текст] / В. А. Ветошкин, А. Б. Попов // Теплоэнергетика. – 2002. – № 4. – 7-14.
- Визовитин, Н. В. Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Текст] / Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко // Кибернетика и системный анализ. – 2015. – Т. 51, № 2. – С, 62-74.
- Комбинированное средство верификации вычислительных систем реального времени [Текст] / Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, В. В. Подымов // Программирование. – 2015. – № 6. – С. 72-86.
- Гнатюк, В. И. Шейнин А. А. Нормирование электропотребления инфраструктурных объектов с учетом систем свойств [Текст] / В. И. Шейнин А. А. Гнатюк // Известия высших учебных заведений. Электромеханика. – 2010. – № 4. – С. 50-52.
- Гнилицька, Л. В. Аудит інтегрованої звітності корпоративних підприємств [Текст] / Л. В. Гнилицька, К. В. Безверхий // Фінанси України. – 2022. – № 9. – С. 98-114.
- Расчетное исследование массообмена в проточной части экспериментальной модели пароприемного участка парогенератора ПГВ-1500 с двумя паровыми патрубками [Текст] / Л. А. Голибродо, А. А. Крутиков, Ю. Н. Надинский [и др.] // Теплоэнергетика. – 2014. – № 10. – С. 17-23.
- Гончарук, Б. Моделювання процедури захисту вебресурсів та вебсервісів [Текст] / Б. Гончарук, І. Арсенюк // Proceedings Of the XII International Scientific-Practical Conference Internet-Education-Science - 2020, 26-29 May 2020 : dedicated to the 25-th anniversary of the Computer Science Department / Vinnytsia national technical university, Baku state university, Technical university Varna. – Vinnitsia : VNTU, 2020. – С. 84-87.
- Грищук, О. М. Верифікація узагальненої диференційно-ігрової моделі шаблону потенційно небезпечної кібератаки [Текст] / О. М. Грищук, Р. В. Грищук, В. В. Охрімчук // Телекомунікаційні та інформаційні технології. – 2020. – № 1(66). – С. 53-67.
- Давидюк, А. В. Застосування логіки предикатів для верифікації артефактів кіберзахисту під час проектування систем критичного призначення [Текст] / А. В. Давидюк, В. Ю. Зубок // Реєстрація, зберігання і обробка даних. – 2021. – Т. 23, № 4. – С. 37-46.
- Сравнение способов декомпозиции спецификаций на EVENT-B [Текст] / П. Н. Девянин, В. В. Кулямин, А. К. Петренко [и др.] // Программирование. – 2016. – № 4. – С. 17-26.
- Джерниган, Д. Новые средства измерения позволяют упростить верификацию высокочастотных интерфейсов [Текст] / Д. Джерниган // Электронные компоненты. – 2006. – № 6. – 26-28.
- Доманский, В. Л. Электростимулятор для интраоперационной верификации и мониторинга состояния лицевого нерва и мимических мышц [Текст] / В. Л. Доманский, С. М. Кошелев, И. А. Собакин // Медицинская техника. – 2017. – № 1. – С. 5-8.
- Верификация кода КУПОЛ-М по результатам экспериментов [Текст] / А. Д. Ефанов, А. А. Лукьянов, Н. Н. Шаньгин [et al.] // Теплоэнергетика. – 2004. – № 2. – 12-16.
- Автоматизация верификации СнК на основе платформенного подхода [Текст] / К. Жезлов, Я. Колбасов, А. Николаев [и др.] // Электронные компоненты. – 2016. – № 1. – С. 30-35.
- Жукавин, А. П. Разработка и особенности верификации тренажерных моделей [Текст] / А. П. Жукавин, А. Е. Крошилин, Р. Л. Фукс // Теплоэнергетика. – 2010. – № 5. – С.34-38.
- Зайцев, Д. А. Верификация телекоммуникационных протоколов с помощью декомпозиции моделей Петри [Текст] / Д. А. Зайцев // Зв'язок. – 2005. – № 1. – 41-45.
- Захаров, И. С. Моделирование окружения с использованием шаблонов для статической верификации модулей ядра Linux [Текст] / И. С. Захаров, В. С. Мутилин, А. В. Хорошилов // Программирование. – 2015. – № 3. – С. 3-19.
- Верификация как средство отладки моделей различного уровня [Текст] / А. Г. Зыков, О. Ф. Немолочнов, Ю. Н. Виноградов, В. И. Поляков // Изв.ВУЗов.Приборостроение. – 2003. – 46, № 2. – 51-55.
- Ильин, С. А. Тестирование библиотек цифровых ячеек [Текст] / С. А. Ильин // Известия высших учебных заведений. Электроника. – 2013. – № 3. – С. 48-52.
- Ісірова, К. В. Встановлення протоколів довіри в мережі взаємної недовіри шляхом формування консенсусу (Англ. мова) [Текст] / К. В. Ісірова, О. В. Потій, C. C. Jens // Радиотехника. – 2019. – № 198. – С. 96-104.
- Камінський, А. Компаративний аналіз систем ризик-менеджменту фінансових компаній в сегменті коротких онлайн-кредитів та банків [Текст] / А. Камінський // Банківська справа. – 2022. – № 1-2. – С. 92-106.
- Камкин, А. С. Проецирование ситем переходов: преодоление комбинаторного взрыва при верификации параллельных систем [Текст] / А. С. Камкин // Программирование. – 2015. – № 6. – С. 53-71.
- Расширяемая среда генерации тестовых программ для микропроцессоров [Текст] / А. С. Камкин, Т. И. Сергеева, С. А. Смолов [и др.] // Программирование. – 2014. – № 1. – С. 3-14.
- Камкин, А. С. Обзор современных технологий имитационной верификации аппаратуры [Текст] / А. С. Камкин, М. М. Чупилко // Программирование. – 2011. – № 3. – С. 43-49.
- Качко, Е. Г. Исследование применимости SMT/SAT доказательств в криптоанализе хеш-функций семейства Keccak [Текст] / Е. Г. Качко, Д. К. Телевный // Радиотехника. – 2017. – № 189. – С. 75-80.
- Коннов, В. Об одном подходе к верификации симметричных параметризованных распределенных систем [Текст] / В. Коннов, А. Захаров // Программирование. – 2005. – № 5. – 3-17.
- Копитчук, М. Б. Аналіз і верифікація протоколів інформаційних мереж [Текст] / М. Б. Копитчук, О. М. Мартинюк. – С. 81-85.
- Короткевич, А. Г. Обнаружение возможных тупиковых ситуаций в сетях из автоматов [Текст] / А. Г. Короткевич // Радиотехника. – 2004. – № 138. – 134-140.
- Аналитические выражения верификации лингвистических переменных для систем оценивания рисков информационной безопасности [Текст] / А. Г. Корченко, Ф. Приставка, А, С. В. Казмирчук // Безпека інформації. – 2017. – Т. 23, № 1. – С. 50-55.
- Поиск конфликтов в политиках безопасности [Текст] / И. В. Котенко, А. В. Тишков, О. В. Черватюк, Д. П. Лакомов // Изв.ВУЗов.Приборостроение. – 2006. – 49, № 11. – 45-49.
- Крошилин, А. Е. Применение программного комплекса БАГИРА для расчетного анализа аварийного режима с малой течью из І контура на стенде ПСБ-ВВЭР [Текст] / А. Е. Крошилин, В. Е. Крошилин, А. В. Смирнов // Теплоэнергетика. – 2006. – № 9. – 41-48.
- Верификация трехмерной CFD-модели теплового состояния охлаждаемой лопатки ГТД в сопряженной постановке [Текст] / П. Г. Круковский, Д. Д. Юрченко, А. С. Полубинский [et al.] // Промышленная теплотехника. – 2005. – 27, № 1. – 17-25.
- Крывый, С. Л. Верификация программ:состояние, проблемы, результаты [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. – 2013. – Т. 49, № 6. – С. 3-14.
- Крывый, С. Л. Верификация программ: состояние, проблемы, результаты [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. – 2014. – Т. 50, № 1. – С. 11-20.
- Крывый, С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций [Текст] / С. Л. Крывый, А. В. Чугаенко // Кибернетика и системный анализ. – 2009. – Т. 45, № 4. – С. 31-48.
- Крывый, С. Л. Исследование ствойств документов MSC с помощью преобразования их в сети Петри [Текст] / С. Л. Крывый, А. В. Чугаенко, Л. Е. Матвеева // Кибернетика и системный анализ. – 2009. – Т. 45, № 6. – С. 165-171.
- Кузьмин, Е. Моделирование, спецификация и верификация "автономных" программ [Текст] / Е. Кузьмин, В. Соколов // Программирование. – 2008. – № 1. – 38-60.
- Свойства предикатного трансформера системы VRS [Текст] / А. А. Летичевский, А. Б. Годлевский, А. А. Летичевский, С. В. Потиенко // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 3-16.
- Генерация символьных трасс в системе инсерционного моделирования [Текст] / А. А. Летичевский, А. Ал. Летичевский, В. С. Песчаненко, А. А. Губа // Кибернетика и системный анализ. – 2015. – Т. 51, № 1. – С. 7-19.
- Лисица, А. Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4) [Текст] / А. Лисица, А. Немытых // Программирование. – 2007. – № 1. – 22-34.
- Литвинова, Є. І. Хмарний сервіс для тестування верифікації систем на кристалах [Текст] / Є. І. Литвинова, І. В. Ємельянов, І. В. Хаханов // Радиоэлектроника и информатика. – 2017. – № 3. – С. 60-68.
- Люлькин, А. Е. Функциональная верификация дискретных устройств с использованием логического программирования [Текст] / А. Е. Люлькин // Управляющие системы и машины. – 2004. – № 2. – 38-45.
1
2
|