004
Т33	Теоретические основы, методы и инструментальные средства анализа, разработки и верификации гарантоспособных информ.-управляющих систем для аэрокосмических объектов и комплексов критического применения [Текст] : отчет о НИР (заключ.) / Нац. аэрокосмический ун-т "ХАИ" ; рук. В. Харченко. — Х., 2008. — 507 с.