Прохорова Ю.М./Прохорова Ю.Н.
Документи:
- Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в event-b [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — С. 135-142.
- О тестировании программно-аппаратных средств для плис-ориентированных критических приложений [Текст] / Национальный аэрокосмический университет им. Н.Е. Жуковского "ХАИ" // . — С. 224-228.
- Отказоустойчивые встроенные системы на программируемой логике [Текст] = Fault-Tolerant Embedded PLD-systems : лекционный материал / под ред. В.С. Харченко. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2008. — 264 с.
- Применение Event-b для создания систем на программируемой логике [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков,Украина, Университет, г.Турку, Финляндия // Радіоелектронні і комп'ютерні системи. — 2009. — С. 245-250.
- Прогноз параметров двухфазной системы терморегулирования российского сегмента международной космической станции Альфа при различных условиях окружающей среды на орбите [Текст] / Г.А. Горбенко, В.Н. Блинков, Н.А.Ганжа Брус та ін. // Авиационно-космическая техника и технология : труды Харьк. авиац. ин-та им. Н. Е. Жуковского за 1995 г. / М-во образования Украины, Харьк. авиац. ин-т. — Х. : ХАИ, 1996. — С. 148-158.
- Технологии защиты информации в компьютерных сетях [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2007. — 55 с.
|
