Реализация процесса верификации для разработки надежного программного обеспечения

von Скляр, В.В., Харченко, В.С.
Veröffentlicht 2006

Анализ структур отказоустойчивых бортовых комплексов при использовании электронных компонентов Industry...

von Харченко, В.С., Юрченко, Ю.Б.
Veröffentlicht 2003

Опыт взаимодействия университетов и промышленности в сфере трансфера ИТ-технологий в Западной Европе...

von Литвинов, В.В., Харченко, В.С.
Veröffentlicht 2015

Возрастные изменения фосфолипаза D-зависимого сигнального пути инсулина в неокортексе крыс

von Бабенко, Н.А., Харченко, В.С.
Veröffentlicht 2013

Влияния старения и экспериментально вызванных модификаций сигнальных путей на инсулининдуцированные сдвиги обмена глюкозы в коре головного мозга крыс...

von Бабенко, Н.А., Харченко, В.С.
Veröffentlicht 2015

Учет вторичных дефектов в моделях надежности программных средств

von Одарущенко, О.Н., Руденко, А.А., Харченко, В.С.
Veröffentlicht 2010

Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A

von Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Veröffentlicht 2010

Влияние обогащенной жирами диеты на содержание сфинголипидов в мозгу и когнитивные функции у старых крыс...

von Бабенко, Н.А., Семенова, Я.А., Харченко, В.С.
Veröffentlicht 2009

Роль церамидов с различной длиной ацильной цепи в нарушении функционального состояния клеток печени...

von Бабенко, Н.А., Белый, А.Н., Харченко, В.С.
Veröffentlicht 2013

Насколько формальны формальные методы?

von Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Veröffentlicht 2011

Вплив ангармонізму та електрон-фононної взаємодії на спектер частот кристалів з гексагональною щільнопакованою ґратницею...

von Репецький, С.П., Харченко, В.С., Вишивана, І.Г.
Veröffentlicht 2011

Інноваційна освіта та наука в галузі інформаційних технологій: досвід Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ"...

von Кривцов, В.С., Горбенко, А.В., Харченко, В.С.
Veröffentlicht 2015

Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах...

von Летичевський, О.О., Песчаненко, В.С., Харченко, В.С., Волков, В.А., Одарущенко, О.М.
Veröffentlicht 2020

Система послеаварийного мониторинга АЭС с использованием беспилотных летательных аппаратов: модели надежности...

von Харченко, В.С., Ястребенецкий, М.А., Фесенко, Г.В., Саченко, А.А., Кочан, В.В.
Veröffentlicht 2016

Система послеаварийного мониторинга АЭС с использованием беспилотных летательных аппаратов: концепция, принципы построения...

von Саченко, А.А., Кочан, В.В., Харченко, В.С., Ястребенецкий, М.А., Фесенко, Г.В., Яновский, M.Э.
Veröffentlicht 2016